Andrew Reynolds and Viktor Kuncak. Induction for SMT solvers. In Verification, Model Checking, and Abstract Interpretation (VMCAI), 2015.

[ bib ] Back