Secure microkernels, state monads and scalable refinement (2008)

by David Cock , Gerwin Klein , Thomas Sewell
Citations:25 - 15 self