Jonathan P. Bowen, Michael G. Hinchey. Ten commandments revisited: a ten-year perspective on the industrial application of formal methods. In Tiziana Margaria, Mieke Massink, editors, Proceedings of the 10th international workshop on Formal methods for industrial critical systems, FMICS '05, Lisbon, Portugal, September 5-6, 2005. pages 8-16, ACM, 2005. [doi]
@inproceedings{BowenH05,
title = {Ten commandments revisited: a ten-year perspective on the industrial application of formal methods},
author = {Jonathan P. Bowen and Michael G. Hinchey},
year = {2005},
doi = {10.1145/1081180.1081183},
url = {https://doi.org/10.1145/1081180.1081183},
researchr = {https://researchr.org/publication/BowenH05},
cites = {0},
citedby = {0},
pages = {8-16},
booktitle = {Proceedings of the 10th international workshop on Formal methods for industrial critical systems, FMICS '05, Lisbon, Portugal, September 5-6, 2005},
editor = {Tiziana Margaria and Mieke Massink},
publisher = {ACM},
}