Towards automatic formal verification on generic combinational circuit using HOL - Sumayya Shiraz (Islamabad NUST-SEECS, 2014)
Supervisors:Dr. Osman Hasan, Dr. Muhammad Murtaza Khan, Dr. Rehan Hafiz, Dr. Amir Ali Khan