Spezifikation und maschinelle Verifikation von Konstantenfaltung in Übersetzern

» Home

» People

» Core competences

» Projects

» Former

» Publications

» Details

» Software

» Courses

» Thesis subjects

» Impressum

» Location

Thesis

[1] Jan Olaf Blech, Spezifikation und maschinelle Verifikation von Konstantenfaltung in Übersetzern, Universität Karlsruhe, Mai 2003.

[Generate bibTeX entry]

Authors

		Alumni
		Jan Olaf Blech

Login

Links