Universität Karlsruhe
Spezifikation und maschinelle Verifikation von Konstantenfaltung in Übersetzern
@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},
}

Login
Links