Haykal Tej

According to our database, Haykal Tej authored at least 3 papers between 1997 and 2003.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2003

HOL-CSP: mechanised formal devlopment mof concurrent processes.

Haykal Tej

PhD thesis, 2003

1999

TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving.

Christoph Lüth, Haykal Tej, Kolyang, Bernd Krieg-Brückner

Proceedings of the Fundamental Approaches to Software Engineering, 1999

1997

A Corrected Failure Divergence Model for CSP in Isabelle/HOL.

Haykal Tej, Burkhart Wolff

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997