Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: L

Number of items: 1.

L

Lano, Kevin and Goldsack, Stephen J. and Bicarregui, Juan and Kent, Stuart (1997) Integrating VDM\(^{++}\) and Real-time System Design. In: ZUM '97: The Z Formal Specification Notation 10th International Conference of Z Users. Lecture Notes In Computer Science . Springer, Berlin, Germany, pp. 188-219. ISBN 978-3-540-62717-3. E-ISBN 978-3-540-68490-9. (doi:10.1007/BFb0027290) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21481)

This list was generated on Mon Apr 22 22:57:59 2024 BST.