00523nam a22001577a 4500 NUST 200 Innayatullah 98562 Integration of ASM with event-B RODIN/ Innayatullah Islamabad NUST-SEECS 2015 66p. ill.; CD-ROM MS-Computer Science 126511 Supervisors: Dr. Osman Hasan, Dr. Abdul Ghafoor, Dr. Sohail Iqbal, Dr. Atif Mashkoor 126512 http://10.250.8.41:8080/xmlui/handle/123456789/6665 SC ddc 13392 13392 0 0 0 0 REF CL CL REF 2015-12-14 0 MSCCS-4 INN SEECSP01790 2015-12-14 2015-12-14 PR 0 0 ddc 0 0 CL CL THE 2021-06-22 200 CL-T-6473 2021-06-22 2021-06-22 PR