Seven More Myths of Formal Methods (1995)

by Jonathan P. Bowen, Michael G Hinchey
Venue:IEEE SOFTWARE