Browse by Person (creator, editor, contributor, etc.)
Number of items: 1.
Conference or workshop item
Lano, K. and Goldsack, S. and Bicarregui, J. and Kent, S.
Integrating VDM++ and Real-time System Design.
Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation.
Lecture Notes In Computer Science, 1212.
The full text of this publication is not available from this repository.