Sciweavers

ITP
2010

A Formally Verified OS Kernel. Now What?

14 years 26 days ago
A Formally Verified OS Kernel. Now What?
Gerwin Klein
Added 12 Oct 2010
Updated 12 Oct 2010
Type Conference
Year 2010
Where ITP
Authors Gerwin Klein
Comments (0)