User: Guest  Login
Document type:
Studienarbeit/SEP/IDP
Author(s):
Hölzl, Johannes
Title:
Automatischer Korrektheitsbeweis von Algorithmen zur Hierarchischen Basistransformation
Advisor:
Pflüger, Dirk; Nipkow, Tobias
Referee:
Bungartz, Hans-Joachim
Year:
2009
Month:
Jan
Notes:
betreuer: Pflüger, Dirk; Nipkow, Tobias
pruefer: Bungartz, Hans-Joachim
TUM Institution:
Fakultät für Informatik, Technische Universität München
 BibTeX