Sciweavers

ITP
2010

A Formally Verified OS Kernel. Now What?

13 years 5 months 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)