P. Baudin, A. Pacalet, J. Raguideau, D. Schoen, and N. Williams, Caveat: a tool for software validation, Proceedings International Conference on Dependable Systems and Networks, p.537, 2002.
URL : https://hal.archives-ouvertes.fr/hal-01810204

F. Bobot, E. Sylvain-conchon, S. Contejean, and . Lescuyer, Implementing Polymorphism in SMT solvers, SMT '08: Proceedings of the Joint Workshops of the 6th International Workshop on Satisfiability Modulo Theories, pp.1-5, 2008.

F. Bobot, J. Filliâtre, C. Marché, and A. Paskevich, Why3: Shepherd your herd of provers, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00790310

R. Bonichon, D. Déharbe, and C. Tavares, Extending SMT-LIB v2 with ?-Terms and Polymorphism, Proceedings of the 12th International Workshop on Satisfiability Modulo Theories, vol.1163, 2014.

E. Sylvain-conchon, M. Contejean, and . Iguernelala, Canonized Rewriting and Ground AC Completion Modulo Shostak Theories : Design and Implementation, Logical Methods in Computer Science, vol.8, issue.3, 2012.

E. Sylvain-conchon, J. Contejean, S. Kanig, and . Lescuyer, CC(X): Semantic Combination of Congruence Closure with Solvable Theories, Electronic Notes in Theoretical Computer Science, vol.198, issue.2, pp.51-69, 2008.

A. Sylvain-conchon, S. Goel, A. Krsti´ckrsti´c, F. Mebsout, and . Za¨?diza¨?di, Cubicle: A Parallel SMT-Based Model Checker for Parameterized Systems, Computer Aided Verification, pp.718-724, 2012.

M. Sylvain-conchon, A. Iguernelala, and . Mebsout, A collaborative framework for nonlinear integer arithmetic reasoning in alt-ergo, 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, pp.161-168, 2013.

M. Sylvain-conchon, K. Iguernlala, G. Ji, C. Melquiond, and . Fumex, A Three-Tier Strategy for Reasoning About Floating-Point Numbers in SMT, Computer Aided Verification, pp.419-435, 2017.

M. Sylvain-conchon, A. Iguernlala, and . Mebsout, AltGr-Ergo, a Graphical User Interface for the SMT Solver Alt-Ergo, Proceedings of the 12th Workshop on User Interfaces for Theorem Provers, pp.1-13, 2016.

J. Filliâtre, One Logic To Use Them All, CADE 24-the 24th International Conference on Automated Deduction, 2013.