TY  - BOOK
AU  - Innayatullah
AU  - Supervisors: Dr. Osman Hasan, Dr. Abdul Ghafoor, Dr. Sohail Iqbal, Dr. Atif Mashkoor
TI  - Integration of ASM with event-B RODIN
U1  - 200 
PY  - 2015///
CY  - Islamabad
PB  - NUST-SEECS
KW  -  
UR  - http://10.250.8.41:8080/xmlui/handle/123456789/6665
ER  -