Find link


Find link is a tool written by Edward Betts.

searching for Meta-IV (specification language) 1 found (3 total)

alternate case: meta-IV (specification language)

Vienna Development Method (5,003 words) [view diff] no match in snippet view article find links to article

group of techniques and tools based on a formal specification language—the VDM Specification Language (VDM-SL). It has an extended form, VDM++, which