DoldGVZ98'

BibTeX

@inproceedings{DBLP:conf/asm/DoldGVZ98,
  author    = {Axel Dold and
               Thilo Gaul and
               Vincent Vialard and
               Wolf Zimmermann},
  title     = {ASM-based Mechanized Verification of Compiler Back-Ends},
  booktitle = {Workshop on Abstract State Machines},
  year      = {1998},
  pages     = {50-67},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}