Overture Tool

Formal Modelling in VDM

Home
The Method
Languages
Download
- Examples
Documentation
Community
Publications
- Planned
- Books
- Training
FAQ

Go to our GitHub Profile

Follow @overturetool

Systematic Software Development using VDM

C. B. Jones. Systematic Software Development using VDM. Prentice Hall International, Second edition, 1990.

more books by Jones