Farah El-Hariri

Identifiers

• name variant Farah El-Hariri 0.60 · backfill

Papers (1)

1. Specification Construction Using Behaviours, Equivalences, and SMT Solvers cs.SE · 2013 · author #4

Mentions

• 1307.6901 #4 · arxiv_oai · confidence 0.70 Farah El-Hariri
• 1307.6901 #4 · backfill · confidence 0.70 Farah El-Hariri

Frequent Coauthors

• Fadi A. Zaraket 1 shared papers
• Mohamad Noureddine 1 shared papers
• Paul C. Attie 1 shared papers