Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning
Angelis, Emanuele De; Fedyukovich, Grigory; Tzevelekos, Nikos; Ulbrich, Mattias
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsjahr | 2019 |
| Sprache | Englisch |
| Identifikator | ISSN: 2075-2180 KITopen-ID: 1000120172 |
| Erschienen in | Electronic proceedings in theoretical computer science |
| Verlag | Open Publishing Association |
| Band | 296 |
| Seiten | 1-48 |
| Vorab online veröffentlicht am | 08.07.2019 |
| Relationen in KITopen |