@book{524806,
	author = {Mahum Naseer},
	title = {Formal Verification of ECCs for Memories Using ACL2/},
	publisher = {SEECS NUST,},
	year = {2018.},
	address = {Islamabad :},
	note = {Hard cover},
	url = {http://10.250.8.41:8080/xmlui/handle/123456789/16563}
}