Browse by Person (creator, editor, contributor, etc.)
Number of items: 5. Article
Conference or workshop item
|
Woodcock, J. and Davies, J. and Bolton, C.
(2000)
Abstract Data Types and Processes.
In: Proceedings of the Symposium in Honour of CAR Hoare.
The full text of this publication is not available from this repository.
|
|
|
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 Wed Jun 19 18:31:06 2013 BST.
|