Chapter PDF
Rights and permissions
Copyright information
© 2005 Springer-Verlag London Limited
About this chapter
Cite this chapter
(2005). Building a Model in VDM++: An Overview. In: Validated Designs for Object-oriented Systems. Springer, London. https://doi.org/10.1007/1-84628-107-5_2
Download citation
DOI: https://doi.org/10.1007/1-84628-107-5_2
Publisher Name: Springer, London
Print ISBN: 978-1-85233-881-7
Online ISBN: 978-1-84628-107-5
eBook Packages: Computer ScienceComputer Science (R0)