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 | Forschungsbericht/Preprint |
| Publikationsjahr | 2019 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 1000120149 |
| Bemerkung zur Veröffentlichung | Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning Prague, Czech Republic, 6-7th April 2019 |
| Externe Relationen | Siehe auch |
| Nachgewiesen in | arXiv |
| Relationen in KITopen |