Login / Signup
Recent Development of the PLUSS Specification Language.
Michel Bidoit
Published in:
ADT (1988)
Keyphrases
</>
specification language
recent developments
formal specification
programming language
description language
recent advances
software environment
symbolic execution
requirements specification
fine grained
distributed systems
multi agent
model checker
high level
case study
artificial intelligence
real world