@InProceedings{Dep2007,
author={{{Condit}, Jeremy and {Harren}, Matthew and {Anderson}, Zachary and
  {Gay}, David and {Necula}, George C.}},
title={{Dependent Types for Low-Level Programming}},
booktitle={{Programming Languages and Systems}},
year={2007}
}
/* vim: set filetype=bib ts=2 sw=2 tw=0 et :*/