@book{535270,
	author = {Sultana, Sidra and Supervisor:Dr. Fahim Arif},
	title = {Automation of software modeling and verification /},
	publisher = {MCS NUST,},
	year = {2018.},
	address = {Rawalpindi:},
	url = {http://10.250.8.41:8080/xmlui/handle/123456789/3721}
}