Alain Mebsout (The University of Iowa)

Identifiers

No identifiers captured yet.

Papers (2)

1. AltGr-Ergo, a Graphical User Interface for the SMT Solver Alt-Ergo cs.HC · 2017 · author #4
2. Extending SMTCoq, a Certified Checker for SMT (Extended Abstract) cs.LO · 2016 · author #5

Mentions

No mention provenance yet.

Frequent Coauthors

• Andrew J. Reynolds (The University of Iowa) 1 shared papers
• Burak Ekici (The University of Iowa) 1 shared papers
• Cesare Tinelli (The University of Iowa) 1 shared papers
• Chantal Keller (LRI 1 shared papers
• Guy Katz (New York University) 1 shared papers
• Mohamed Iguernlala (OCamlPro SAS) 1 shared papers
• Sylvain Conchon (LRI 1 shared papers
• Universit\'e Paris-Sud) 1 shared papers
• Univ. Paris-Sud) 1 shared papers