DBLP Record 'conf/lopstr/PierroW00'

BibTeX

@inproceedings{DBLP:conf/lopstr/PierroW00,
  author    = {Alessandra Di Pierro and
               Herbert Wiklicky},
  title     = {On the precision of abstract interpretations},
  booktitle = {LOPSTR},
  year      = {2000},
  ee        = {ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-00-6-1-dipierro.ps.Z},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}