| [1] | David Cock. Bitfields and tagged unions in c: Verification through automatic generation, August 2008. [ bib | .pdf ] |
| [2] | David Cock, Gerwin Klein, and Thomas Sewell. Secure microkernels, state monads and scalable refinement, August 2008. [ bib ] |
| [3] | Philip Derrin, Kevin Elphinstone, Gerwin Klein, David Cock, and Manuel M. T. Chakravarty. Running the manual: An approach to high-assurance microkernel development, September 2006. [ bib | .pdf ] |
| [4] | David Cock. The weyl algebras, 2004. [ bib | .pdf ] |
This file was generated by bibtex2html 1.92.