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]
No references recorded for this publication.
No citations of this publication recorded.