Formal Methods and System Verification Lab Laboratory

Contact Number: 61119706
Address

Laboratory Supervisor

Assistant Professor
Contact Number : 4995
Room: 2-611
Email: fghassemi [AT] ut.ac.ir