Travelled to:1 × Austria
1 × The Netherlands
Collaborated with:B.Wolff C.Lüth Kolyang B.Krieg-Brückner
Talks about:transform (1) theorem (1) program (1) isabell (1) develop (1) correct (1) failur (1) diverg (1) prove (1) model (1)
Person: Haykal Tej
DBLP: Tej:Haykal
Contributed to:
1999
1997Wrote 2 papers:
- FASE-1999-LuthTKK #development #proving #theorem proving #tool support
- TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving (CL, HT, K, BKB), pp. 239–243.
- FME-1997-TejW #csp #higher-order
- A Corrected Failure Divergence Model for CSP in Isabelle/HOL (HT, BW), pp. 318–337.