%0 Thesis %1 phd/dnb/Weber-Wulff97 %A Weber-Wulff, Debora %D 1997 %K %P 1-186 %T Contributions to mechanical proofs of correctness for compiler front ends.

@phdthesis{phd/dnb/Weber-Wulff97, added-at = {2023-12-12T21:07:44.000+0100}, author = {Weber-Wulff, Debora}, biburl = {https://www.bibsonomy.org/bibtex/2a188d3eb2260a949e7f6dbdcea9bbcc3/admin}, ee = {http://d-nb.info/951730800}, interhash = {398cc22feffb40cf88417bdd18a49e70}, intrahash = {a188d3eb2260a949e7f6dbdcea9bbcc3}, keywords = {}, pages = {1-186}, school = {University of Kiel}, timestamp = {2023-12-12T21:07:44.000+0100}, title = {Contributions to mechanical proofs of correctness for compiler front ends.}, year = 1997 }