Institut für Theoretische Informatik (ITI) – Anwendungsorientierte Formale Verifikation

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

Conference Proceedings

Editor(s):Marieke Huisman, Raúl E. Monti, Mattias Ulbrich, and Alexander Weigl
Publisher:Institut für Theoretische Informatik (ITI), KIT
Year:2020
DOI:10.5445/IR/1000119426

BibTeX

@proceedings{2020_1000119426,
    editor       = {Marieke Huisman and Ra{\'u}l E. Monti and Mattias Ulbrich and Alexander Weigl},
    year         = {2020},
    title        = {VerifyThis Long-term Challenge 2020: Proceedings of the Online-Event},
    publisher    = {Institut f{\"ur} Theoretische Informatik (ITI), KIT},
    doi          = {10.5445/IR/1000119426},
    eventtitle   = {VerifyThis Long-term Challenge},
    eventtitleaddon = {VTLTC 2020},
    eventdate    = {2020-04-25/2020-04-26},
    month        = may,
    venue        = {Dublin, Irland},
    language     = {english}
}