@misc{,
    author = {Brunthaler, Stefan},
    title = {Projekt µFocus : Verifizierte und sichere Ausführung von dynamischen Programmiersprachen},
    editor = {},
    booktitle = {CODE Jahresbericht 2020},
    series = {},
    journal = {},
    address = {Neubiberg},
    publisher = {Universität der Bundeswehr München, Forschungsinstitut Cyber Defence},
    edition = {},
    year = {2021},
    isbn = {978-3-943207-55-2 ; 978-3-943207-56-9},
    volume = {},
    number =  {},
    pages = {33},
    url = {https://athene-forschung.unibw.de/138620},
    doi = {},
    keywords = {},
    abstract = {},
    note = {},
    institution = {Universität der Bundeswehr München, Fakultät für Informatik, INF 6 - Institut für Systemsicherheit, Professur: Brunthaler, Stefan},
    
    
}