Sciweavers

Share
TPHOL
2008
IEEE

Secure Microkernels, State Monads and Scalable Refinement

8 years 8 months ago
Secure Microkernels, State Monads and Scalable Refinement
David Cock, Gerwin Klein, Thomas Sewell
Added 01 Jun 2010
Updated 01 Jun 2010
Type Conference
Year 2008
Where TPHOL
Authors David Cock, Gerwin Klein, Thomas Sewell
Comments (0)
books