DBLP Record 'conf/sas/AmeurCFG92'

BibTeX

@inproceedings{DBLP:conf/sas/AmeurCFG92,
  author    = {Yamine A\"{\i}t Ameur and
               Patrice Cros and
               J.-J. Falcon and
               A. Gomez},
  title     = {An Application of Abstract Interpretation to Floating Point
               Arithmetic},
  booktitle = {WSA},
  year      = {1992},
  pages     = {205-212},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}