Login / Signup

A Tool for Symbolic Program Verification and Abstration.

Susanne GrafClaire Loiseaux
Published in: CAV (1993)
Keyphrases
  • user friendly
  • high level
  • trade off
  • computer vision
  • database systems
  • open source