Browse by Person (creator, editor, contributor, etc.)
Number of items: 1. Conference or workshop item
|
Derrick, J. and Boiten, E.A. and Bowman, H. and Steen, M.
(1997)
Weak refinement in Z.
In: Bowen, J.P. and Hinchey, M.G. and Till, D., eds.
ZUM '97: The Z Formal Specification Notation.
Lecture Notes in Computer Science, 1212.
Springer-Verlag, Reading
pp. 369-388.
ISBN 3-540-62717-0.
|
|
This list was generated on Sun May 19 18:47:40 2013 BST. |
![[img]](http://kar.kent.ac.uk/style/images/fileicons/other.png)
![[img]](http://kar.kent.ac.uk/style/images/fileicons/application_postscript.png)
