| |
| 1999 | ||
|---|---|---|
| 2 | Christoph Lüth, Haykal Tej, Kolyang, Bernd Krieg-Brückner: TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving. FASE 1999: 239-243 | |
| 1997 | ||
| 1 | Haykal Tej, Burkhart Wolff: A Corrected Failure Divergence Model for CSP in Isabelle/HOL. FME 1997: 318-337 | |
| 1 | Kolyang | [2] |
| 2 | Bernd Krieg-Brückner | [2] |
| 3 | Christoph Lüth | [2] |
| 4 | Burkhart Wolff | [1] |