BelliI00'

@inproceedings{DBLP:conf/euromicro/BelliI00,
  author    = {Fevzi Belli and
               Thomas Illgen},
  title     = {Logic Representation of Programs to Detect Arithmetic Anomalies},
  booktitle = {EUROMICRO},
  year      = {2000},
  pages     = {2216-},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/EURMIC.2000.874421},
  crossref  = {DBLP:conf/euromicro/2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/euromicro/2000,
  title     = {26th EUROMICRO 2000 Conference, Informatics: Inventing the
               Future, 5-7 September 2000, Maastricht, The Netherlands},
  booktitle = {EUROMICRO},
  publisher = {IEEE Computer Society},
  year      = {2000},
  isbn      = {0-7695-0780-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}