Items where Author is "Butler, Michael"

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 Sat Apr 13 02:25:01 2024 UTC.