Software verification and validation realistic project approaches - Deutsch Michael S (Englewood Cliffs Prentice-Hall, 1982)
Keywords: software verification