| |
| 2007 | ||
|---|---|---|
| 4 | EE | Amine Chaieb, Makarius Wenzel: Context Aware Calculation and Deduction. Calculemus/MKM 2007: 27-39 |
| 3 | EE | Makarius Wenzel, Burkhart Wolff: Building Formal Method Tools in the Isabelle/Isar Framework. TPHOLs 2007: 352-367 |
| 2006 | ||
| 2 | EE | Makarius Wenzel: Structured Induction Proofs in Isabelle/Isar. MKM 2006: 17-30 |
| 1 | EE | Florian Haftmann, Makarius Wenzel: Constructive Type Classes in Isabelle. TYPES 2006: 160-174 |
| 1 | Amine Chaieb | [4] |
| 2 | Florian Haftmann | [1] |
| 3 | Burkhart Wolff | [3] |