National Physical Laboratory (United Kingdom)
article-link
What links here
Vienna Development Method
Reification (computer science)
article-link
Norsk Data
article-link
Formal methods
article-link
List of programming languages by type
article-link
Specification language
article-link
Design by contract
article-link
Pseudocode
article-link
PL/I
article-link
List of computer scientists
article-link
VDM specification language
redirect