| Original language | English |
|---|---|
| Title of host publication | Programming Logics - Essays in Memory of Harald Ganzinger |
| Pages | 239-270 |
| Number of pages | 32 |
| DOIs | |
| Publication status | Published - 2013 |
Inst-Gen - A Modular Approach to Instantiation-Based Automated Reasoning
Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review