Showing 1 - 2 results of 2 for search 'Alain Mebsout', query time: 0.02s Refine Results
  1. 1
    AltGr-Ergo, a Graphical User Interface for the SMT Solver Alt-Ergo

    AltGr-Ergo, a Graphical User Interface for the SMT Solver Alt-Ergo by Sylvain Conchon, Mohamed Iguernlala, Alain Mebsout

    Published 2017-01-01
    Get full text
    Article
  2. 2
    Extending SMTCoq, a Certified Checker for SMT (Extended Abstract)

    Extending SMTCoq, a Certified Checker for SMT (Extended Abstract) by Burak Ekici, Guy Katz, Chantal Keller, Alain Mebsout, Andrew J. Reynolds, Cesare Tinelli

    Published 2016-06-01
    Get full text
    Article

Search Tools: