1. Why3, a tool for deductive program verification, GNU LGPL 2.1, http://why3.lri.fr
2. Guitton, J., Kanig, J., Moy, Y.: Why Hi-Lite Ada? In: Boogie, pp. 27–39 (2011)
3. Lecture Notes in Computer Science;M. Barnett,2006
4. Bobot, F., Filliâtre, J.C., Marché, C., Paskevich, A.: Why3: Shepherd your herd of provers. In: Boogie, pp. 53–64 (2011)
5. Lecture Notes in Computer Science;F. Bobot,2011