SMT proof checking using a logical framework
Stump, Aaron, Oe, Duckki, Reynolds, Andrew, Hadarean, Liana, Tinelli, CesareVolume:
42
Language:
english
Journal:
Formal Methods in System Design
DOI:
10.1007/s10703-012-0163-3
Date:
February, 2013
File:
PDF, 920 KB
english, 2013