Konstruktion verifizierender Übersetzer mit Programmprüfung

» Home

» People

» Core competences

» Projects

» Former

» Publications

» Details

» Software

» Courses

» Thesis subjects

» Impressum

» Location

PhD. thesis

[Gaul:03] Thilo Gaul, Konstruktion verifizierender Übersetzer mit Programmprüfung, 2003 (Not yet published).

[Generate bibTeX entry]

Authors

		Alumni
		Dr. Thilo Gaul

Login

Links