Browse by Person (creator, editor, contributor, etc.)
Number of items: 4. Conference or workshop item
|
Welch, P.H. and Barnes, F.R.M. and Polack, F.A.C.
(2006)
Communicating Complex Systems.
In: 11th International Conference on Engineering of Complex Computer Systems, 15-17 August 2006, Stanford, California (USA).
|
![[img]](http://kar.kent.ac.uk/style/images/fileicons/application_pdf.png)  Preview |
|
|
Derrick, J. and Boiten, E.A.
(1998)
Testing refinements by refining tests.
In: 11th International Conference of Z Users on the Z Formal Specification Notation (ZUM 98), SEP 24-26, 1998, Berlin, Germany.
|
|
|
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 Tue Jun 18 20:06:36 2013 BST. |
![[img]](http://kar.kent.ac.uk/style/images/fileicons/application_postscript.png)
![[img]](http://kar.kent.ac.uk/style/images/fileicons/other.png)
