Sohaib Ahmad <br/><br/>
Formal reasoning about molecular pathways in higher order logic 

 - Islamabad  NUST-SEECS  2014 
 - 42p.:  27cm.+  CD-ROM 
<br/><br/> Supervisors: Dr. Osman Hasan Dr. Awais Kamboh Dr. Rehan Hafiz Dr. Murtaza Khan 
<br/><br/><label>Dewey Class. No.: </label>MSEE-3