Login / Signup
How to Make Algebraic Specifications More Understandable: An Experiment with the PLUSS Specification Language.
Michel Bidoit
Marie-Claude Gaudel
A. Mauboussin
Published in:
Sci. Comput. Program. (1989)
Keyphrases
</>
specification language
formal specification
programming language
description language
symbolic execution
requirements specification
software environment
data structure
distributed systems
model checking