A Specification Language.

Ib Holm Sørensen

Published in: Program Specification (1981)

Keyphrases

specification language
formal specification
programming language
description language
symbolic execution
software environment
fine grained
software architecture
requirements specification