Formal Methods Wiki

This wiki's URL has been migrated to the primary fandom.com domain.Read more here

READ MORE

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