DBLP BibTeX Record 'conf/icalp/PezzeB00'

@inproceedings{DBLP:conf/icalp/PezzeB00,
  author    = {Mauro Pezz{\`e} and
               Luciano Baresi},
  title     = {Can Graph Grammars Make Formal Methods More Human?},
  booktitle = {ICALP Satellite Workshops},
  year      = {2000},
  pages     = {387-394},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}