Article citationsMore>>
A. Hall, “Correctness by Construction: Integrating Formality into a Commercial Development Process,” Proceedings of International Symposium of Formal Methods Europe, Copenhagen, Vol. 2391, 2002, pp. 139-157.
has been cited by the following article:
Related Articles:
-
Saiqa Bibi, Saira Mazhar, Nasir Mehmood Minhas, Irfan Ahmed
-
Tafsir Malick Ndiaye
-
Yalong An
-
Kholisani Solo
-
O. O. Olusanya, J. L. Obetta, M. O. Oyediram, A. W. Elegbede