Seven More Myths of Formal Methods (1995)

by J P Bowen, M G Hinchey
Venue:IEEE Software, Vol