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.
@inproceedings{VissersSP93,
title = {What Makes Industries Believe in Formal Methods},
author = {Chris A. Vissers and Marten van Sinderen and Luís Ferreira Pires},
year = {1993},
researchr = {https://researchr.org/publication/VissersSP93},
cites = {0},
citedby = {0},
pages = {3-26},
booktitle = {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},
editor = {André A. S. Danthine and Guy Leduc and Pierre Wolper},
volume = {C-16},
series = {IFIP Transactions},
publisher = {North-Holland},
isbn = {0-444-81648-8},
}