Login / Signup
Reactions: an activation scheme specification language.
Vered Gafni
Published in:
RTS (1991)
Keyphrases
</>
specification language
formal specification
description language
programming language
software environment
query language
symbolic execution
access control
requirements specification