| @misc{,
author={Jan Olaf Blech},
title=\{Spezifikation und maschinelle Verifikation von Konstantenfaltung in Übersetzern},
year=\{2003},
month=\{Mai},
school=\{Universität Karlsruhe},
institution=\{Institut für Programmstrukturen und Datenorganisation},
url=\{http://www.info.uni-karlsruhe.de/papers/2003-SA-Blech.pdf},
}
| |