Amir Masoud
Gharehbaghi
M.Sc. in Computer Engineering, 2000, University of Tehran, Tehran, Iran.
Advisor: Dr. S. Hessabi
System-Level Languages
High-Level Verification
High-Level Testing