Login / Signup

Verifying Class Invariants in Concurrent Programs.

Marina Zaharieva-StojanovskiMarieke Huisman
Published in: FASE (2014)
Keyphrases
  • concurrent programs
  • information systems
  • machine learning
  • general purpose
  • source code