Login
Document type:
Konferenzbeitrag / Conference Paper
Title:
A Generic Framework for Verified Compilers Using Isabelle/HOL's Locales
Title of conference publication:
31es Journées Francophones des Langages Applicatifs (JFLA)
Subtitle of conference publication:
Gruissan, France, January 29-February 1st, 2020
Conference title:
Journées Francophones des Langages Applicatifs (31., 2020, Gruissan)
Venue:
Gruissan, France
Year of conference:
2020
Date of conference beginning:
29.01.2020
Date of conference ending:
01.02.2020
Year:
2020
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