Publisher
Springer Nature Switzerland
Reference41 articles.
1. Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010). https://doi.org/10.1017/CBO9781139195881
2. Armando, A., Smaill, A., Green, I.: Automatic synthesis of recursive programs: the proof-planning paradigm. Autom. Softw. Eng. 6(4), 329–356 (1999). https://doi.org/10.1023/A:1008763422061
3. Arthan, R., Jones, R.B.: Z in HOL in ProofPower. BCS FACS FACTS (2005). http://www.bcs.org/upload/pdf/facts200503.pdf
4. Bjørner, D., Jones, C.B. (eds.): The Vienna Development Method: The Meta-Language. LNCS, vol. 61. Springer, Heidelberg (1978). https://doi.org/10.1007/3-540-08766-4
5. Bundy, A.: A science of reasoning. In: Lassez, J.L., Plotkin, G. (eds.) Computational Logic: Essays in Honor of Alan Robinson, pp. 178–198. MIT Press (1991). https://www.research.ed.ac.uk/en/publications/a-science-of-reasoning