Innayatullah <br/><br/>
Integration of ASM with event-B RODIN/ 
Innayatullah 
 - Islamabad  NUST-SEECS  2015 
 - 66p.  ill.;  CD-ROM 
<br/><br/><label>Subjects--Personal Names: </label>--MS-Computer Science 
<br/><br/><label>Dewey Class. No.: </label>200