Seven more myths of formal methods: Dispelling industrial prejudices (1994)

by J P Bowen, M G Hinchey
Venue:FME’94: Industrial Benefit of Formal Methods, volume 873 of Lecture Notes in Computer Science