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

Renata Martins Gomes, Marcel Baunach

Browse the full SAC paper archive.