TY  - BOOK
AU  - Sultana, Sidra
AU  - Supervisor:Dr. Fahim Arif
TI  - Automation of software modeling and verification
U1  - 200 
PY  - 2018///
CY  - Rawalpindi
PB  - MCS NUST
KW  -  Ph. D - Thesis.Computer Software Engineering
UR  - http://10.250.8.41:8080/xmlui/handle/123456789/3721
ER  -