Dieter Hutter
A list of authors with biographies, life dates, and future collections of all their books.
Author's Books
7
Rippling
Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56
Applied formal methods--FM-Trends 98
Mechanizing mathematical reasoning
Mechanizing mathematical reasoning
Security in pervasive computing
