Secure microkernels, state monads and scalable refinement. (2008)

by David Cock, Gerwin Klein, Thomas Sewell
Venue:In Otmane Ait Mohamed, Cesar Munoz, and Sofiene Tahar, editors, Proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics,