D
Dieter Hutter
6 works on record
Works

Applied formal methods--FM-Trends 98

Security in pervasive computing

Mechanizing mathematical reasoning

Rippling
Mustergesteuerte Strategien für das Beweisen von Gleichungen
Mustergesteuerte Strategien für das Beweisen von Gleichungen
Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56
Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56