Seven myths of formal methods (1990)

by Anthony Hall
Venue:IEEE Software