Auguston00'

BibTeX

@inproceedings{DBLP:conf/aadebug/Auguston00,
  author    = {Mikhail Auguston},
  title     = {Assertion checker for the C programming language based on
               computations over event traces},
  booktitle = {AADEBUG},
  year      = {2000},
  ee        = {http://arxiv.org/abs/cs.SE/0101007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}