@book{45384,
	author = {Laski, Janusz and Stanley, William},
	title = {Software verification and analysis :},
	publisher = {Springer,},
	year = {2009},
	address = {New York :}
}