1. Lecture Notes in Computer Science;C. Barrett,2011
2. Lecture Notes in Artificial Intelligence,2007
3. Bobot, F., Conchon, S., Contejean, E., Iguernelala, M., Lescuyer, S., Mebsout, A.: The Alt-Ergo automated theorem prover (2008),
http://alt-ergo.lri.fr/
4. Bobot, F., Filliâtre, J.-C., Marché, C., Paskevich, A.: Why3: Shepherd your herd of provers. In: Boogie 2011: First International Workshop on Intermediate Verification Languages, Wrocław, Poland, pp. 53–64 (August 2011)
5. Lecture Notes in Computer Science;F. Bobot,2011