@book{13580,
	author = {Deutsch, Michael S.},
	title = {Software verification and validation },
	publisher = {: Prentice-Hall, },
	year = {©1982},
	address = {Englewood Cliffs, NJ }
}