Back to the Future Revisiting Precise Program Verification using SMT Solvers (2007)

by Shuvendu K. Lahiri , Shaz Qadeer
Citations:48 - 13 self

Document Versions

Back to the Future -- Revisiting Precise Program Verification using SMT Solvers –Shuvendu K. Lahiri, Shaz Qadeer — 2008 — POPL'08
Back to the Future Revisiting Precise Program Verification using SMT Solvers –Shuvendu K. Lahiri, Shaz Qadeer — 2007