Formal Methods Wiki
Advertisement

Virtual Library
Computing
Software engineering
Formal methods

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

See also[]

External links[]


Advertisement