Browse by Person (creator, editor, contributor, etc.)
Number of items: 1.
Conference or workshop item
Lano, Kevin and Goldsack, S. and Bicarregui, Juan and Kent, Stuart
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)