Author:
Anderson Hugh,Ciobanu Gabriel,Freitas Leo
Publisher
Springer Berlin Heidelberg
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Applying Formal Verification to an Open-Source Real-Time Operating System;Theories of Programming and Formal Methods;2023
2. Hoare and He’s Unifying Theories of Programming;Theories of Programming;2021-10-02
3. UTP by Example: Designs;Engineering Trustworthy Software Systems;2017
4. Heterogeneous Semantics and Unifying Theories;Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques;2016
5. CSP and Kripke Structures;Theoretical Aspects of Computing - ICTAC 2015;2015