Maria Manuela Marques, Dag Belsnes, Malachy Murphy. Formalisation Based on Understanding. 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 417-432, North-Holland, 1993.
No references recorded for this publication.
No citations of this publication recorded.