KIT | KIT-Bibliothek | Impressum | Datenschutz

VerifyThis Long-term Challenge 2020: Proceedings of the Online-Event

Huismann, Marieke [Hrsg.]; Monti, Raùl E. [Hrsg.]; Ulbrich, Mattias [Hrsg.]; Weigl, Alexander [Hrsg.]

Open Access Logo


Verlagsausgabe §
DOI: 10.5445/IR/1000119426
Veröffentlicht am 02.07.2020
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Proceedingsband
Publikationsdatum 15.05.2020
Sprache Englisch
Identifikator KITopen-ID: 1000119426
Veranstaltung VerifyThis Long-term Challenge (VTLTC 2020), Dublin, Irland, 25.04.2020 – 26.04.2020
Bemerkung zur Veröffentlichung Die Veranstaltung fand wegen der Corona-Pandemie als Online-Event statt.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page