@book{13092,
	author = {Sumayya Shiraz},
	title = {Towards automatic formal verification on generic combinational circuit using HOL},
	publisher = {NUST-SEECS},
	year = {2014},
	address = {Islamabad},
	note = {Supervisors:Dr. Osman Hasan, Dr. Muhammad Murtaza Khan, Dr. Rehan Hafiz, Dr. Amir Ali Khan},
	url = {http://10.250.8.41:8080/xmlui/handle/123456789/9425}
}