Browse by Person (creator, editor, contributor, etc.)

Group by: Item Type | Date | No Grouping

Number of items: 1.

Conference or workshop item

Derrick, J. and Boiten, E.A. (1999) Non-atomic refinement in Z. In: Wing, J.M. and Woodchck, J. and Davies, J., eds. FM’99 — Formal Methods. Lecture Notes In Computer Science, 1709 . Springer-Verlag Berlin, Berlin, Germany pp. 1477-1496. ISBN 978-3-540-66588-5. The full text of this publication is not available from this repository.

This list was generated on Tue May 21 09:59:13 2013 BST.