00577nam a22001697a 4500 Hard Cover. 200 Sultana, Sidra Automation of software modeling and verification / Sidra Sultan. Rawalpindi: MCS NUST, 2018. 121 p. : ill. ; 30,cm. Ph. D - Thesis.Computer Software Engineering 124479 Supervisor:Dr. Fahim Arif 114276 http://10.250.8.41:8080/xmlui/handle/123456789/3721 ddc SC 535270 535270 0 0 ddc 0 200_000000000000000 0 497684 CL CL THE 2020-09-02 200 CLPT-213 2020-09-02 2020-09-02 SC