@book{193332,
	author = {Laski, Janusk. and Stanley, William.},
	title = {Software verification and analysis :},
	publisher = {Springer ,},
	year = {2012.},
	address = {New Delhi :},
	edition = {1st ed.}
}