Treffer: On synthesising Linux kernel module components from Coq formalisations
Titel:
On synthesising Linux kernel module components from Coq formalisations / Mario Frank ; Gutachter: Christoph Kreitz, Andrew W. Appel, Anna-Lena Lamprecht ; Christoph Kreitz, Anna-Lena Lamprecht
Verantwortlich:
Veröffentlicht:
Potsdam : Universität Potsdam, 2024
Umfang:
1 Online-Ressource
Publikationstyp:
Sprache:
Englisch
Hochschulschrift:
Dissertation, Potsdam, Universität Potsdam, 2024
Schlagworte:
DOI:
10.25932/publishup-64255