An interactive verification system (1975)

by D I Good, R L London, W W Bledsoe
Venue:Proc. Int. Conf. Reliable Software, Los Angeles