Login / Signup
The PLUSS Specification Language.
Michel Bidoit
Published in:
ADT (1986)
Keyphrases
</>
specification language
formal specification
description language
programming language
software environment
symbolic execution
requirements specification
cooperative
databases
object oriented