Formal methods
article-link
What links here
Specification language
Andrew D. Gordon
article-link
Z++
article-link
Hardware description language
article-link
Computer language
article-link
Z notation
article-link
Pseudocode
article-link
Fourth-generation programming language
article-link