Items where Author is "Butler, Michael"

[up] Up a level
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 Fri Apr 26 12:08:13 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