Using First-Order Theorem Provers in the Jahob Data Structure Verification System

In  Verification, Model Checking, and Abstract Interpretation (VMCAI 2007)

Publisher  Springer

Details

TypeInproceedings
Pages74–88
Volume4349
SeriesLNCS
> Publications > Using First-Order Theorem Provers in the Jahob Data Structure Verification System