00423nam a22001097a 4500082001100000100001900011245008500030260003200115300001500147500009500162856005600257  aMSEE-3  aSumayya Shiraz  aTowards automatic formal verification on generic combinational circuit using HOL  aIslamabadbNUST-SEECSc2014  a88eCD ROM  aSupervisors:Dr. Osman Hasan, Dr. Muhammad Murtaza Khan, Dr. Rehan Hafiz, Dr. Amir Ali Khan  uhttp://10.250.8.41:8080/xmlui/handle/123456789/9425