Virtual Library
Computing
Software engineering
Formal methods

VDM (Vienna Development Method) is a leading formal method.

See also[edit | edit source]

External links[edit | edit source]


Community content is available under CC-BY-SA unless otherwise noted.