Mairead Meagher

According to our database, Mairead Meagher authored at least 1 paper in 2000.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2000

Performing Algorithmic Refinement before Data Refinement in B.

Michael J. Butler, Mairead Meagher

Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000