@book{3415,
	author = {Laski, Janusz and Stanley, William},
	title = {Software verification and analysis : },
	publisher = {Springer,},
	year = {2009.},
	address = {New York :},
	note = {Includes bibliographic references and index}
}