Publisher
Springer International Publishing
Reference45 articles.
1. Abrial, J.-R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
2. Abrial, J.-R.: Modeling in Event-B: System and Software Engineering, 1st edn. Cambridge University Press, Cambridge (2010)
3. Lecture Notes in Computer Science;J-R Abrial,1991
4. Back, R.: On correct refinement of programs. J. Comput. Syst. Sci. 23(1), 49–68 (1981)
5. Back, R.-J., Wright, J.: Refinement Calculus: A Systematic Introduction. Springer, Heidelberg (2012)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The B Method Meets MDE: Review, Progress and Future;Research Challenges in Information Science;2022
2. A Lightweight Development of Outbreak Prevention Strategies Built on Formal Methods and xDSLs;2021 2nd European Symposium on Software Engineering;2021-11-19
3. ProB2-UI: A Java-Based User Interface for ProB;Formal Methods for Industrial Critical Systems;2021
4. Integrating formal specifications into applications: the ProB Java API;Formal Methods in System Design;2020-10-21
5. Automated UML-based Formal Model of E-Health System;2019 13th International Conference on Mathematics, Actuarial Science, Computer Science and Statistics (MACS);2019-12