| |
| 2008 | ||
|---|---|---|
| 3 | EE | David Cock, Gerwin Klein, Thomas Sewell: Secure Microkernels, State Monads and Scalable Refinement. TPHOLs 2008: 167-182 |
| 2 | EE | David Cock: Bitfields and Tagged Unions in C: Verification through Automatic Generation. VERIFY 2008 |
| 2006 | ||
| 1 | EE | Philip Derrin, Kevin Elphinstone, Gerwin Klein, David Cock, Manuel M. T. Chakravarty: Running the manual: an approach to high-assurance microkernel development. Haskell 2006: 60-71 |
| 1 | Manuel M. T. Chakravarty | [1] |
| 2 | Philip Derrin | [1] |
| 3 | Kevin Elphinstone | [1] |
| 4 | Gerwin Klein | [1] [3] |
| 5 | Thomas Sewell | [3] |