Formal Methods Wiki
Register
Advertisement
VL2

Virtual Library
Computing
Software engineering
Formal methods

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

See also[]

External links[]


Advertisement