Find link

Find link is a tool written by Edward Betts.

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

alternate case: meta-IV (specification language)

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

for giving operational semantics descriptions in contrast to the VDM - Meta-IV which provided denotational semantics ¬ęTowards the end of 1972 the Vienna