KIT | KIT-Bibliothek | Impressum | Datenschutz

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

Open Access Logo


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
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page