![]() | ![]() |
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] |