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

CoCoME with Security

Technischer Bericht
Autor(en):Simon Greiner und Mihai Herda
Institution:Department of Informatics, Karlsruhe Institute of Technology
Verleger:KIT
Reihe:Karlsruhe Reports in Informatics ; 2017,2
Nummer:2017,2
Jahr:2017
DOI:10.5445/IR/1000065106

BibTeX

@techreport{SWB-482506385,
    title       = {CoCoME with Security},
    series      = {Karlsruhe Reports in Informatics ; 2017,2},
    number      = {2017,2},
    institution = {Department of Informatics, Karlsruhe Institute of Technology},
    author      = {Simon Greiner and Mihai Herda},
    address     = {Karlsruhe},
    publisher   = {KIT},
    year        = {2017},
    month       = apr,
    doi         = {10.5445/IR/1000065106}
}