Login / Signup
Structuring for the VDM Specification Language.
Stephen Bear
Published in:
VDM Europe (1988)
Keyphrases
</>
specification language
formal specification
programming language
description language
symbolic execution
software environment
requirements specification
case study