Author:
Bartels Bjorn,Glesner Sabine
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Verified from scratch;Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering;2020-12-21
2. Hoare-Style Logic for Unstructured Programs;Software Engineering and Formal Methods;2020
3. Refinement-Based Verification of Communicating Unstructured Code;Software Engineering and Formal Methods;2016
4. A Denotational Semantics for Communicating Unstructured Code;Electronic Proceedings in Theoretical Computer Science;2015-03-17