@book{19941,
	author = {Kumar, Viraj},
	title = {Software verification (lecture)},
	publisher = {NIIT University},
	year = {2011},
	address = {Neemrana}
}