Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
History and Philosophy of Science,General Computer Science
Cited by
59 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Clarifying Assumptions;Lecture Notes in Computer Science;2024
2. Confidence in Assurance 2.0 Cases;Lecture Notes in Computer Science;2024
3. On the Relational Basis of Early R/G Work;Lecture Notes in Computer Science;2024
4. Commutativity in Automated Verification;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
5. Three Early Formal Approaches to the Verification of Concurrent Programs;Minds and Machines;2023-01-23