Integration of ASM with event-B RODIN - Innayatullah; Supervisors: Dr. Osman Hasan, Dr. Abdul Ghafoor, Dr. Sohail Iqbal, Dr. Atif Mashkoor (Islamabad NUST-SEECS, 2015)
Keywords: MS-Computer Science