Publisher
Springer International Publishing
Reference41 articles.
1. Abadi, M., Lamport, L.: The existence of refinement mappings. Theoret. Comput. Sci. 82(2), 253–284 (1991).
https://doi.org/10.1016/0304-3975(91)90224-P
2. Abrial, J.R., Hallerstede, S.: Refinement, decomposition, and instantiation of discrete models: application to Event-B. Fundam. Inform. 77(1), 1–28 (2007)
3. Lecture Notes in Computer Science;P Arcaini,2016
4. Arcaini, P., Bonfanti, S., Gargantini, A., Mashkoor, A., Riccobene, E.: Integrating formal methods into medical software development: the ASM approach. Sci. Comput. Program. 158, 148–167 (2018).
https://doi.org/10.1016/j.scico.2017.07.003
5. Lecture Notes in Computer Science;P Arcaini,2016
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献