Concerned with the unprivileged: user programs in kernel refinement.

Matthias DaumNelson BillingGerwin Klein
Published in: Formal Aspects Comput. (2014)
Keyphrases