Author:
Derrick John,Boiten Eerke
Publisher
Springer International Publishing
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Early and Systematic Validation of Formal Models;Formal Methods and Software Engineering;2023
2. Modelling a Blockchain for Smart Contract Verification using DeepSEA;Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems;2022-11-29
3. Trace Refinement in B and Event-B;Formal Methods and Software Engineering;2022
4. Understanding, Explaining, and Deriving Refinement;From Astrophysics to Unconventional Computation;2019-04-17