Computing with an SMT Solver.

Nada Amin, K. Rustan M. Leino, Tiark Rompf

Browse the full TAP paper archive.