Software verification and validation: an overview (1989)

by D R Wallace, R U Fujii
Venue:Software, IEEE