| |
| 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 | David Cock | [1] |
| 3 | Kevin Elphinstone | [1] |
| 4 | Gerwin Klein | [1] |