Graeme I. Parkin, Stephen Austin. Overview: Survey of Formal Methods in Industry. In Richard L. Tenney, Paul D. Amer, M. Ümit Uyar, editors, Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE 93, Boston, MA, USA, 26-29 October 1993. Volume C-22 of IFIP Transactions, pages 189-203, North-Holland, 1993.
@inproceedings{ParkinA93,
title = {Overview: Survey of Formal Methods in Industry},
author = {Graeme I. Parkin and Stephen Austin},
year = {1993},
tags = {survey},
researchr = {https://researchr.org/publication/ParkinA93},
cites = {0},
citedby = {0},
pages = {189-203},
booktitle = {Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE 93, Boston, MA, USA, 26-29 October 1993},
editor = {Richard L. Tenney and Paul D. Amer and M. Ümit Uyar},
volume = {C-22},
series = {IFIP Transactions},
publisher = {North-Holland},
isbn = {0-444-81773-5},
}