TY  - BOOK
AU  - Sumayya Shiraz
TI  - Towards automatic formal verification on generic combinational circuit using HOL
U1  - MSEE-3 
PY  - 2014///
CY  - Islamabad
PB  - NUST-SEECS
N1  - Supervisors:Dr. Osman Hasan, Dr. Muhammad Murtaza Khan, Dr. Rehan Hafiz, Dr. Amir Ali Khan
UR  - http://10.250.8.41:8080/xmlui/handle/123456789/9425
ER  -