Login
- Dokumenttyp:
- Studienarbeit/SEP/IDP
- Autor(en):
- Hölzl, Johannes
- Titel:
- Automatischer Korrektheitsbeweis von Algorithmen zur Hierarchischen Basistransformation
- Betreuer:
- Pflüger, Dirk; Nipkow, Tobias
- Gutachter:
- Bungartz, Hans-Joachim
- Jahr:
- 2009
- Monat:
- Jan
- Hinweise:
- betreuer: Pflüger, Dirk; Nipkow, Tobias
pruefer: Bungartz, Hans-Joachim - TUM Einrichtung:
- Fakultät für Informatik, Technische Universität München
BibTeX