Formalisation Based on Understanding

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.

Authors

Maria Manuela Marques

This author has not been identified. Look up 'Maria Manuela Marques' in Google

Dag Belsnes

This author has not been identified. Look up 'Dag Belsnes' in Google

Malachy Murphy

This author has not been identified. Look up 'Malachy Murphy' in Google