B. Beckert, R. Hähnle, and P. H. Schmitt, Verication of Object-Oriented Software: The KeY Approach, Lecture Notes in Computer Science, vol.4334, 2007.

F. Bobot, S. Conchon, E. Contejean, M. Iguernelala, S. Lescuyer et al., The Alt-Ergo automated theorem prover, 2008.

F. Bobot, J. Filliâtre, C. Marché, and A. Paskevich, Why3: Shepherd your herd of provers, Boogie 2011: First International Workshop on Intermediate Verication Languages, p.5364, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00790310

F. Bobot and A. Paskevich, Expressing Polymorphic Types in a Many-Sorted Language, Frontiers of Combining Systems, 8th International Symposium, Proceedings, p.87102, 2011.
DOI : 10.1007/978-3-540-78800-3_24

URL : https://hal.archives-ouvertes.fr/inria-00591414

S. Cruanes, G. Hamon, S. Owre, and N. Shankar, Tool Integration with the Evidential Tool Bus, Verication, Model Checking, and Abstract Interpretation, 14th International Conference, VM- CAI 2013, p.275294, 2013.
DOI : 10.1007/978-3-642-35873-9_18

L. De-moura and N. Bjørner, Z3, an ecient SMT solver, TACAS, p.337340, 2008.

J. Filliâtre, Combining Interactive and Automated Theorem Proving in Why3 (invited talk), Automation in Proof Assistants 2012, 2012.

J. Filliâtre and A. Paskevich, Why3 ??? Where Programs Meet Provers, Proceedings of the 22nd European Symposium on Programming, 2013.
DOI : 10.1007/978-3-642-37036-6_8

V. Klebanov, Extending the Reach and Power of Deductive Program Verication, 2009.

D. Miller and E. Pimentel, A formal framework for specifying sequent calculus proof systems, Theoretical Computer Science, vol.474, p.98116, 2013.
DOI : 10.1016/j.tcs.2012.12.008

URL : https://hal.archives-ouvertes.fr/hal-00787586

W. Reif and K. Stenzel, Reuse of proofs in software verication, Foundations of Software Technology and Theoretical Computer Science, 13th Conference, p.284293, 1993.

J. M. Rushby, An Evidential Tool Bus, Lecture Notes in Computer Science, vol.3785, p.3636, 2005.
DOI : 10.1007/11576280_3

G. Sutclie, The SZS ontologies for automated reasoning software, Proceedings of the LPAR 2008 Workshops, Knowledge Exchange: Automated Provers and Proof Assistants, and the 7th International Workshop on the Implementation of Logics CEUR Workshop Proceedings, p.3849, 2008.