Logo
Benutzer: Gast  Login
Autoren:
Desharnais, Martin; Brunthaler, Stefan 
Dokumenttyp:
Konferenzbeitrag / Conference Paper 
Titel:
A Generic Framework for Verified Compilers Using Isabelle/HOL's Locales 
Titel Konferenzpublikation:
31es Journées Francophones des Langages Applicatifs (JFLA) 
Untertitel Konferenzpublikation:
Gruissan, France, January 29-February 1st, 2020 
Konferenztitel:
Journées Francophones des Langages Applicatifs (31., 2020, Gruissan) 
Tagungsort:
Gruissan, France 
Jahr der Konferenz:
2020 
Datum Beginn der Konferenz:
29.01.2020 
Datum Ende der Konferenz:
01.02.2020 
Jahr:
2020 
Sprache:
Englisch 
Fakultät:
Fakultät für Informatik 
Institut:
INF 6 - Institut für Systemsicherheit 
Professur:
Brunthaler, Stefan 
(Forschungs)einrichtung UniBw M:
CODE 
Open Access ja oder nein?:
Nein / No