A Formal Modeling Approach for Portable Low-Level OS Functionality

Renata Martins Gomes^*, Bernhard Aichernig, Marcel Carsten Baunach

^*Korrespondierende/r Autor/-in für diese Arbeit

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

1 Ergebnisse
- Titel(absteigend)
- Datum der Verleihung

Best paper award SEFM 2020
Martins Gomes, Renata (Empfänger/-in), Aichernig, Bernhard (Empfänger/-in) & Baunach, Marcel Carsten (Empfänger/-in), 17 Sept. 2020
Auszeichnung: Preise / Medaillen / Ehrungen