© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Integrating VDM++ and Real-time System Design
K. Lano, S. Goldsack, J. Bicarregui, and S. Kent
Z User Meeting, pages 182-196. LNCS, Springer-Verlag, July 1997.Bibtex Record
@inproceedings{796,
author = {K. Lano and S. Goldsack and J. Bicarregui and S. Kent},
title = {{Integrating VDM++ and Real-time System Design}},
month = {July},
year = {1997},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1997/796},
publisher = {LNCS, Springer-Verlag},
series = {Z User Meeting},
}