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


Download
Originalveröffentlichung
DOI: 10.4204/EPTCS.296
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
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page