Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Veröffentlichungen

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

Tagungsband
Herausgeber:Marieke Huisman and Raúl E. Monti and Mattias Ulbrich and Alexander Weigl
Verleger:Institut für Theoretische Informatik (ITI), KIT
Jahr: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}
}