1. Barrett, C., Fontaine, P., Tinelli, C.: The SMT-LIB standard: version 2.5. Technical report, Department of Computer Science, The University of Iowa (2015). www.SMT-LIB.org
2. Benveniste, M.V.: On using B in the design of secure micro-controllers: an experience report. Electr. Notes Theor. Comput. Sci. 280, 3–22 (2011)
3. Bobot, F., Filliâtre, J.C., Marché, C., Paskevich, A.: Why3: shepherd your herd of provers. In: Boogie 2011: 1st International Workshop on Intermediate Verification Languages, pp. 53–64. Wrocław, Poland, August 2011
4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);T Bouton,2009
5. Burdy, L., Déharbe, D., Prun, É.: Interfacing automatic proof agents in atelier B: introducing “iapa”. In: Dubois, C., Masci, P., Méry, D. (eds.) Proceedings of the Third Workshop on Formal Integrated Development Environment, F-IDE@FM 2016. EPTCS, vol. 240, pp. 82–90. Limassol, Cyprus, 8 November 2016