@InProceedings{Elphinstone_KDRH_07,
  author =       {Kevin Elphinstone and Gerwin Klein and Philip Derrin
                  and Timothy Roscoe and Gernot Heiser},
  title =        {Towards a Practical, Verified Kernel},
  booktitle =    {Proc.\ 11th Workshop on Hot Topics in Operating Systems},
  year =         2007,
  pages =        6,
  address =      {San Diego, CA, USA},
  month =        may,
  note =         {Online proceedings at \url{http://www.usenix.org/events/hotos07/tech/}
}