Seven More Myths of Formal Methods: Dispelling Industrial Prejudices (1994)

by Jonathan P. Bowen , Michael G. Hinchey
Venue:FME'94: INDUSTRIAL BENEFIT OF FORMAL METHODS, PAGES 105--117. LNCS 873
Citations:14 - 0 self