Browse by Person (creator, editor, contributor, etc.)
Up a level |
Number of items: 1.
Boiten, Eerke Albert and Jacob, Jeremy (2014) Sealed containers in Z. In: Ait Ameur, Y. and Schewe, K.-D., eds. Abstract State Machines, Alloy, B, TLA, VDM, and Z. Lecture Notes in Computer Science, 8477. Springer-Verlag Berlin pp. 136-141. ISBN 978-3-662-43651-6. E-ISBN 978-3-662-43652-3. (doi:https://doi.org/10.1007/978-3-662-43652-3_12) (Full text available) |