Browse by Person (creator, editor, contributor, etc.)
Up a level |
Number of items: 1.
Derrick, John and Boiten, Eerke Albert (1999) Non-atomic refinement in Z. In: 1st World Congress on Formal Methods in the Development of Computing Systems (FM 99), SEP 20-24, 1999, Toulouse, France. (doi:https://doi.org/10.1007/3-540-48118-4_28) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |