Seven myths of formal methods (1990)

by J A Hall
Venue:IEEE Software