The B-Book, Assigning Programs to Meanings ,
TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism, Conference on Automated Deduction (CADE), vol.7898, pp.414-420, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00825086
Automated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo, Logic for Programming, Artificial Intelligence and Reasoning (LPAR) -Short Presentations, vol.35, pp.42-58, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01204701
The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations, Abstract State Machines, Alloy, B, VDM, and Z (ABZ), vol.8477, pp.126-127, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-00998092
Theorem Proving Modulo, Journal of Automated Reasoning (JAR), vol.31, issue.1, pp.33-72, 2003. ,
URL : https://hal.archives-ouvertes.fr/inria-00077199