From a Verified Kernel towards Verified Systems.

Gerwin Klein

Browse the full APLAS paper archive.