VerifyThis Long-term Challenge 2020: Proceedings of the Online-Event
Huismann, Marieke [Hrsg.]; Monti, Raùl E. [Hrsg.]; Ulbrich, Mattias [Hrsg.]
; Weigl, Alexander [Hrsg.]
; Weigl, Alexander [Hrsg.]
| 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. |