Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/asm/DoldGVZ98
%A Dold, Axel
%A Gaul, Thilo
%A Vialard, Vincent
%A Zimmermann, Wolf
%B Workshop on Abstract State Machines
%D 1998
%E Glässer, Uwe
%E Schmitt, Peter H.
%K dblp
%P 50-67
%T ASM-based Mechanized Verification of Compiler Back-Ends.
%U http://dblp.uni-trier.de/db/conf/asm/asm98.html#DoldGVZ98
@inproceedings{conf/asm/DoldGVZ98,
added-at = {2016-03-15T00:00:00.000+0100},
author = {Dold, Axel and Gaul, Thilo and Vialard, Vincent and Zimmermann, Wolf},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/229564107b0f57d339cbeaa8aafbd5000/dblp},
booktitle = {Workshop on Abstract State Machines},
crossref = {conf/asm/1998},
editor = {Glässer, Uwe and Schmitt, Peter H.},
interhash = {4a93335794a2f172dc242887852e711d},
intrahash = {29564107b0f57d339cbeaa8aafbd5000},
keywords = {dblp},
pages = {50-67},
timestamp = {2016-03-16T10:36:37.000+0100},
title = {ASM-based Mechanized Verification of Compiler Back-Ends.},
url = {http://dblp.uni-trier.de/db/conf/asm/asm98.html#DoldGVZ98},
year = 1998
}