Haykal Tej

	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

Coauthor Index

1	Kolyang	[2]
2	Bernd Krieg-Brückner	[2]
3	Christoph Lüth	[2]
4	Burkhart Wolff	[1]