Login
Document type:
Konferenzbeitrag / Conference Paper
Title:
A Generic Framework for Verified Compilers Using Isabelle/HOL's Locales
Conference title:
Journées Francophones des Langages Applicatifs (31., 2020, Gruissan, Frankreich)
Venue:
Gruissan, Frankreich
Year of conference:
2020
Date of conference beginning:
29.01.2020
Date of conference ending:
01.02.2020
Year:
2020
Pages from - to:
1-8
Language:
Englisch
Department:
Fakultät für Informatik
Institute:
INF 6 - Institut für Systemsicherheit
Chair:
Brunthaler, Stefan
Research Hub UniBw M:
CODE
Open Access yes or no?:
Nein / No
BibTeX