CodognetCC90'

BibTeX

@inproceedings{DBLP:conf/slp/CodognetCC90,
  author    = {Christian Codognet and
               Philippe Codognet and
               Marc-Michel Corsini},
  title     = {Abstract Interpretation for Concurrent Logic Languages},
  booktitle = {NACLP},
  year      = {1990},
  pages     = {215-232},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}