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