Article citationsMore>>
A. Hall, “Correctness by Construction: Integrating Formality into a Commercial Development Process,” Proceedings of International Symposium of Formal Methods Europe, Copenhagen, 22-24 July 2002, pp. 139-157.
has been cited by the following article: