Author:
Butterfield Andrew,Gancarski Pawel,Woodcock Jim
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Semantics Foundation for Cyber-physical Systems Using Higher-order UTP;ACM Transactions on Software Engineering and Methodology;2023-01-31
2. UTP, Circus, and Isabelle;Theories of Programming and Formal Methods;2023
3. Automated verification of reactive and concurrent programs by calculation;Journal of Logical and Algebraic Methods in Programming;2021-06
4. Unifying theories of reactive design contracts;Theoretical Computer Science;2020-01
5. A Stepwise Approach to Linking Theories;Unifying Theories of Programming;2017