Login / Signup

Verifying Generics and Delegates.

Kasper SvendsenLars BirkedalMatthew J. Parkinson
Published in: ECOOP (2010)
Keyphrases
  • model checking
  • information systems
  • temporal logic
  • knowledge base
  • open source
  • formal specification language