Building a Model in VDM++: An Overview. (2005). In Validated Designs for Object-oriented Systems (pp. 19–41). Springer-Verlag. https://doi.org/10.1007/1-84628-107-5_2
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.