• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

The Abstract Behavioral Specification Language: A Tutorial Introduction.

Reiner Hähnle
Published in: FMCO (2012)
Keyphrases
  • specification language
  • formal specification
  • programming language
  • description language
  • software environment
  • symbolic execution
  • requirements specification
  • high level
  • machine learning