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