Seven myths of formal methods (1990)

by J Hall
Venue:IEEE Softw