web.bib

@@inproceedings{Cock_VERIFY_08,
  author = {David Cock},
  title = {Bitfields and Tagged Unions in C: Verification through Automatic
            Generation},
  year = {2008},
  month = aug,
  address = {Sydney, NSW, Australia},
  format = {pdf},
  url = http://www.cse.unsw.edu.au/~davec/cock_verify_08.pdf
}

@@inproceedings{Cock_TPHOLS_08,
  author = {David Cock and Gerwin Klein and Thomas Sewell},
  title = {Secure microkernels, state monads and scalable refinement},
  year = {2008},
  month = aug,
  address = {Monteal, Quebec, Canada}
}

@@inproceedings{Derrin_EKCC_06,
  author = {Philip Derrin and Kevin Elphinstone and Gerwin Klein
                  and David Cock and Manuel M. T. Chakravarty},
  title = {Running the Manual: An Approach to High-Assurance
                  Microkernel Development},
  booktitle = haskellws,
  year = 2006,
  address = {Portland, OR, USA},
  month = sep,
  format = {pdf},
  url = http://www.ertos.nicta.com.au/publications/papers/derrin_ekcc_06.pdf
}

@misc{UGradThesis,
  author = {David Cock},
  title = {The Weyl Algebras},
  year = 2004,
  school = {UNSW},
  format = pdf,
  url = http://www.cse.unsw.edu.au/~davec/weyl_algebras.pdf
}

This file was generated by bibtex2html 1.92.