FengSVXN06'

BibTeX

@inproceedings{DBLP:conf/pldi/FengSVXN06,
  author    = {Xinyu Feng and
               Zhong Shao and
               Alexander Vaynberg and
               Sen Xiang and
               Zhaozhong Ni},
  title     = {Modular verification of assembly code with stack-based control
               abstractions},
  booktitle = {PLDI},
  year      = {2006},
  pages     = {401-414},
  ee        = {http://doi.acm.org/10.1145/1133981.1134028},
  crossref  = {DBLP:conf/pldi/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/pldi/2006,
  editor    = {Michael I. Schwartzbach and
               Thomas Ball},
  title     = {Proceedings of the ACM SIGPLAN 2006 Conference on Programming
               Language Design and Implementation, Ottawa, Ontario, Canada,
               June 11-14, 2006},
  booktitle = {PLDI},
  publisher = {ACM},
  year      = {2006},
  isbn      = {1-59593-320-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}