Author:
Bubel Richard,Hähnle Reiner
Publisher
Springer International Publishing
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Indexed and fibered structures for partial and total correctness assertions;Mathematical Structures in Computer Science;2022-09-19
2. Dijkstra’s Legacy on Program Verification;Edsger Wybe Dijkstra;2022-07-12
3. Indexed and Fibred Structures for Hoare Logic;Electronic Notes in Theoretical Computer Science;2020-03
4. Fifty years of Hoare’s logic;Formal Aspects of Computing;2019-12