A framework for OS portability: from formal models to low-level code

Renata Martins Gomes, Marcel Carsten Baunach

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

Suchergebnisse