@book{49835,
	author = {LASKI AND STANLEY and NO},
	title = {SOFTWARE VERIFICATION AND ANALYSIS: AN INTEGRATED HANDS ON APPROACH},
	publisher = {SPRINGER},
	year = {2012},
	edition = {1}
}