@book{11305,
	author = {Nirmal Saeed and Ayesha Inam, Aisha Khan},
	title = {V-Holt Verifier (A formal verification tool for combinational circuits)},
	publisher = {NUST-SEECS},
	year = {2012},
	address = {Islamabad},
	note = {Supervisors: Dr. Osma Hasan, Dr. M. Murtaza Khan},
	url = {http://10.250.8.41:8080/xmlui/handle/123456789/3507}
}