Travelled to:1 × Estonia
1 × Ireland
Collaborated with:M.Taghdiri M.Ulbrich U.Geilmann
Talks about:specif (1) reason (1) assist (1) relat (1) proof (1) alloy (1) solv (1) smt (1)
Person: Aboubakr Achraf El Ghazi
DBLP: Ghazi:Aboubakr_Achraf_El
Contributed to:
2012
2011Wrote 2 papers:
- TACAS-2012-UlbrichGGT #alloy #proving #specification
- A Proof Assistant for Alloy Specifications (MU, UG, AAEG, MT), pp. 422–436.
- FM-2011-GhaziT #reasoning #relational #smt
- Relational Reasoning via SMT Solving (AAEG, MT), pp. 133–148.