Rocket-Fast Proof Checking for SMT Solvers (2008)

by M Moskal
Venue:Tools and Algorithms for the Construction and Analysis of Systems