@inproceedings{,
    author = {Desharnais, Martin; Brunthaler, Stefan},
    title = {A Generic Framework for Verified Compilers Using Isabelle/HOL's Locales},
    editor = {},
    booktitle = {31es Journées Francophones des Langages Applicatifs (JFLA) : Gruissan, France, January 29-February 1st, 2020},
    series = {},
    journal = {},
    address = {},
    publisher = {},
    edition = {},
    year = {2020},
    isbn = {},
    volume = {},
    number =  {},
    pages = {},
    url = {},
    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},
    
    
}