Items where Author is "Meagher, Mairead"

Group by: Item Type | No Grouping
Jump to: Book Section
Number of items: 1.

Book Section

Butler, Michael and Meagher, Mairead (2000) Performing algorithmic refinement before data refonement in B. In: ZB 2000 : Formal Specification and Development in Z and B - 1st International Conference of B and Z Users, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer Verlag, GBR, pp. 324-343. ISBN 9783540679448

This list was generated on Wed May 22 23:20:40 2024 UTC.