Translation validation for a verified OS kernel

Open Webpage

Thomas Arthur Leck Sewell, Magnus O. Myreen, Gerwin Klein

Published: 2013, Last Modified: 03 Apr 2025PLDI 2013EveryoneRevisionsBibTeXCC BY-SA 4.0