Number of items: 1.
Conference or workshop item
|
Lano, K. and Goldsack, S. and Bicarregui, J. and Kent, S.
(1997)
Integrating VDM++ and Real-time System Design.
In:
Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation.
Lecture Notes In Computer Science, 1212.
LNCS, Springer-Verlag
pp. 188-219.
ISBN 3-540-62717-0.
The full text of this publication is not available from this repository.
|
|
This list was generated on Tue May 21 04:16:51 2013 BST.
