Rocket-Fast Proof Checking for SMT Solvers.

Michal Moskal

Browse the full TACAS paper archive.