A new approach to program testing (1975)

by J-C King
Venue:Proc. of the international conference on Reliable software