Secure Microkernels, State Monads and Scalable Refinement

Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics ◽

10.1007/978-3-540-71067-7_16 ◽

2008 ◽

pp. 167-182 ◽

Author(s):

David Cock ◽

Gerwin Klein ◽

Thomas Sewell

Download Full-text