Skip to content
Vinony

Dieter Hutter

No biography available.

Works (5)

Cover of Mechanizing mathematical reasoning
Mechanizing mathematical reasoning
Cover of Rippling
Rippling
Cover of Mechanizing mathematical reasoning
Mechanizing mathematical reasoning
Cover of Security in pervasive computing
Security in pervasive computing
Cover of Applied formal methods--FM-Trends 98
Applied formal methods--FM-Trends 98
Dieter Hutter — author · Vinony