Seven More Myths of Formal Methods.

Jonathan P. Bowen, Michael G. Hinchey

Browse the full FM paper archive.