DMCA

Inst-Gen – A Modular Approach to Instantiation-Based Automated Reasoning

by Konstantin Korovin
Citations:6 - 2 self