| |
| 2008 | ||
|---|---|---|
| 3 | EE | Karl Azab, Annegret Habel: High-Level Programs and Program Conditions. ICGT 2008: 211-225 |
| 2 | EE | Karl Azab, Karl-Heinz Pennemann: Type Checking C++ Template Instantiation by Graph Programs. ECEASST 10: (2008) |
| 2006 | ||
| 1 | EE | Karl Azab, Annegret Habel, Karl-Heinz Pennemann, Christian Zuckschwerdt: ENFORCe: A System for Ensuring Formal Correctness of High-level Programs. ECEASST 1: (2006) |
| 1 | Annegret Habel | [1] [3] |
| 2 | Karl-Heinz Pennemann | [1] [2] |
| 3 | Christian Zuckschwerdt | [1] |