Sumayya Shiraz <br/><br/>
Towards automatic formal verification on generic combinational circuit using HOL 

 - Islamabad  NUST-SEECS  2014 
 - 88  CD ROM 
<br/><br/> Supervisors:Dr. Osman Hasan, Dr. Muhammad Murtaza Khan, Dr. Rehan Hafiz, Dr. Amir Ali Khan 
<br/><br/><label>Dewey Class. No.: </label>MSEE-3