Items where Author is "Meagher, Mairead"

[up] Up a level
Group by: Item Type | No Grouping
Number of items: 1.

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 Fri May 3 19:13:32 2024 UTC.
SETU Libraries Repo - Testing is powered by EPrints 3.4 which is developed by the School of Electronics and Computer Science at the University of Southampton. About EPrints | Accessibility