@inproceedings{DBLP:conf/gi/BlechG04,
author = {Jan Olaf Blech and
Sabine Glesner},
title = {A Formal Correctness Proof for Code Generation from SSA
Form in Isabelle/HOL},
booktitle = {GI Jahrestagung (2)},
year = {2004},
pages = {449-458},
ee = {http://subs.emis.de/LNI/Proceedings/Proceedings51/article3290.html},
crossref = {DBLP:conf/gi/2004-2},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/gi/2004-2,
editor = {Peter Dadam and
Manfred Reichert},
title = {INFORMATIK 2004 - Informatik verbindet, Band 2, Beitr{\"a}ge
der 34. Jahrestagung der Gesellschaft f{\"u}r Informatik
e.V. (GI), Ulm, 20.-24. September 2004},
booktitle = {GI Jahrestagung (2)},
publisher = {GI},
series = {LNI},
volume = {51},
year = {2004},
isbn = {3-88579-380-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-17 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
