C
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