- CSB - MetaPress - Google - Bing - Yahoo
 | 2006 | |
|---|---|---|
| 1 |      | Karl Azab, Annegret Habel, Karl-Heinz Pennemann, Christian Zuckschwerdt: ENFORCe: A System for Ensuring Formal Correctness of High-level Programs. ECEASST 1: (2006) |
| 1 | Karl Azab | [1] |
| 2 | Annegret Habel | [1] |
| 3 | Karl-Heinz Pennemann | [1] |