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 (4,998 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