Mohamed Iguernlala (OCamlPro SAS)

Identifiers

No identifiers captured yet.

Papers (1)

1. AltGr-Ergo, a Graphical User Interface for the SMT Solver Alt-Ergo cs.HC · 2017 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Alain Mebsout (The University of Iowa) 1 shared papers
• Sylvain Conchon (LRI 1 shared papers
• Universit\'e Paris-Sud) 1 shared papers