What Makes Industries Believe in Formal Methods

Chris A. Vissers, Marten van Sinderen, Luís Ferreira Pires. What Makes Industries Believe in Formal Methods. In André A. S. Danthine, Guy Leduc, Pierre Wolper, editors, Protocol Specification, Testing and Verification XIII, Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, Liège, Belgium, 25-28 May, 1993. Volume C-16 of IFIP Transactions, pages 3-26, North-Holland, 1993.

Abstract

Abstract is missing.