Running the manual: An approach to high-assurance microkernel development (2006)

by Philip Derrin , Kevin Elphinstone , Gerwin Klein , David Cock , Manuel M. T. Chakravarty
Venue:In ACM SIGPLAN Haskell WS
Citations:21 - 13 self