Browse by Person (creator, editor, contributor, etc.)
Number of items: 2. Conference or workshop item
|
Bryans, J.W. and Blair, L. and Bowman, H. and Derrick, John
(2000)
Specification and Analysis of Automata-based Designs.
In: Grieskamp, W. and Stanten, T. and Stoddart, B., eds.
Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 2000. Proceedings.
Lecture Notes in Comuter Science, 1945.
Springer
pp. 176-193.
ISBN 3-540-41196-8.
|
|
|
Derrick, J. and Smith, G.
(2000)
Structural refinement in Object-Z / CSP.
In: Grieskamp, W. and Stanten, T. and Stoddart, B., eds.
Proceedings of the Second International Conference on Integrated Formal Methods.
Lecture Notes in Computer Science, 1945.
Springer
pp. 194-213.
ISBN 3-540-41196-8 .
|
|
This list was generated on Sun May 19 14:22:23 2013 BST. |
![[img]](http://kar.kent.ac.uk/style/images/fileicons/application_postscript.png)
![[img]](http://kar.kent.ac.uk/style/images/fileicons/application_pdf.png)
