Formal Methods and System Verification Lab Laboratory

Contact Number: 61119706
Address

Laboratory Supervisor

Assistant Professor
Contact Number : 4918
Room: 2-508
Email: r.khosravi [AT] ut.ac.ir