Malachy Murphy

According to our database, Malachy Murphy authored at least 1 paper in 1993.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1993

Formalisation Based on Understanding.

Maria Manuela Marques, Dag Belsnes, Malachy Murphy

Proceedings of the Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, 1993