Login / Signup

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

Konstantin Korovin
Published in: Programming Logics (2013)
Keyphrases