Dieter Hutter

Rippling

2009

Security in pervasive computing

2005

Mechanizing mathematical reasoning

2011

Applied formal methods--FM-Trends 98

2007

Verhandlungstechnik bei steuerlichen Betriebsprüfungen. Verhandeln im Dienste der Betriebsprüfung.

1994

Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56

2005