Explore Books on
vdm

Formal object-oriented development

By Kevin Lano

An introduction to formal specification with Z and VDM

By Deri Sheppard

A theory and practice of program development

By Derek Andrews

Formal methods and object technology

By Stephen J. Goldsack

The Vienna development method

By D. Bjørner,Jones, C. B.

The Vienna development method

By D. Bjørner,Jones, C. B.