- 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