00447nam a22001337a 4500003000500000082000800005100001700013245005700030260003200087300002400119600002500143700008900168856005600257NUST  a200  aInnayatullah  aIntegration of ASM with event-B RODIN/cInnayatullah  aIslamabadbNUST-SEECSc2015  a66p.bill.;eCD-ROM  xMS-Computer Science   aSupervisors: Dr. Osman Hasan, Dr. Abdul Ghafoor, Dr. Sohail Iqbal, Dr. Atif Mashkoor  uhttp://10.250.8.41:8080/xmlui/handle/123456789/6665