Overture Tool

Formal Modelling in VDM

Overture Tool

Go to our GitHub Profile

Follow @overturetool

mural A Formal Development Support System

mural: a Formal Development Support System

“mural: a Formal Development Support System” C B Jones, K D Jones, P A Lindsay and R Moore, Springer Verlag, 1991. Regrettably, some screen dumps are missing from the current PDF.

download book springer