Automatic Verification for a Class of Proof Obligations with SMT-Solvers

@inproceedings{Dharbe2010AutomaticVF,
  title={Automatic Verification for a Class of Proof Obligations with SMT-Solvers},
  author={David D{\'e}harbe},
  booktitle={ASM},
  year={2010}
}
Highly Cited
This paper has 20 citations. REVIEW CITATIONS