Publisher
Springer Nature Switzerland
Reference14 articles.
1. Abrial, J.: The B-book - assigning programs to meanings. Cambridge University Press (2005)
2. Abrial, JR., Cansell, D.: Click’n prove: interactive proofs within set theory. In: Basin, D., Wolff, B. (eds.) Theorem Proving in Higher Order Logics, TPHOLs 2003. LNCS, vol. 2758, pp. 1–24. Springer, Heidelberg (2003). https://doi.org/10.1007/10930755_1
3. Berkani, K., Dubois, C., Faivre, A., Falampin, J.: Validation des règles de base de l’atelier b. Technique et Science Informatiques 23, 855–878 (2004)
4. Burdy, L., Deharbe, D., Prun, E.: Interfacing automatic proof agents in Atelier B: introducing “iapa’’. Electron. Proc. Theoret. Comput. Sci. 240, 82–90 (2017)
5. Burdy, L., Dufour, J.L., Lecomte, T.: The B method takes up floating-point numbers (2011)