Dieter Hutter
Books
- Rippling
- Mechanizing mathematical reasoning
- Mustergesteuerte Strategien für das Beweisen von Gleichungen
- Mechanizing mathematical reasoning
- Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56
- Applied formal methods--FM-Trends 98
- Security in pervasive computing
Author data: Open Library