Overture Tool

Formal Modelling in VDM

Overture Tool

Go to our GitHub Profile

Follow @overturetool

SYSTEMATIC SOFTWARE DEVELOPMENT USING VDM

Systematic Software Development using VDM

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

download book more books by Jones