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
no match in snippet
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