Dr. Markus (Makarius) Wenzel

E-mail:  wenzelm AT in.tum.de
Snail:   Markus Wenzel
         Institut für Informatik
         Technische Universität München
         Boltzmannstraße 3
         D-85748 Garching
         Germany
Phone:   +49 (89) 289-17380
Fax:     +49 (89) 289-17307
Room:    00.11.061

PLMMS 2009

Calculemus

Papers

• Isabelle/Isar
• Isabelle at Munich
• Isabelle Projekte für Studenten (in German)