Login / Signup
The Module Specification Language ACT TWO.
Werner Fey
Published in:
ADT (1986)
Keyphrases
</>
specification language
formal specification
description language
programming language
symbolic execution
dynamic environments
software environment
requirements specification
information systems
web services