@book{615908,
	author = {Sultana, Sidra  and Supervised by Dr. Fahim Arif},
	title = {Automation of Software Modeling and Verification /},
	publisher = {MCS (NUST), },
	year = {2018},
	address = {Rawalpindi, }
}