Seven more myths of formal methods’, (1995)

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