A Formal Modeling Approach for Portable Low-Level OS Functionality.

Renata Martins Gomes, Bernhard K. Aichernig, Marcel Baunach

Browse the full SEFM paper archive.