TY  - BOOK
AU  - Aamir Naeem 
AU  - Advisor Dr. Farooque Azam
TI  - TH-SOF-1576-Formal Verification Approach to Verify System Designs by Utilizing Model Driven Software Engineering (MDSE)
U1  - 200 THE 
PY  - 2018///
CY  - ISLAMABAD
PB  - NUST COLLEGE OF EME
KW  - MS-CSE-14  MSTHESIS
ER  -