Login / Signup
The Specification Language OBSCURE.
Jacques Loeckx
Published in:
ADT (1986)
Keyphrases
</>
specification language
description language
formal specification
programming language
software environment
requirements specification
symbolic execution
artificial intelligence
general purpose
model checker