Author:
Dijkstra Edsger W.,Schölten Carel S.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Development of Verification Condition Generator for Process-Oriented Programs in PoST Language;2023 IEEE 24th International Conference of Young Professionals in Electron Devices and Materials (EDM);2023-06-29
2. A Temporal Requirements Language for Deductive Verification of Process-Oriented Programs;2022 IEEE 23rd International Conference of Young Professionals in Electron Devices and Materials (EDM);2022-06-30
3. A Memory Model for Deductively Verifying Linux Kernel Modules;Lecture Notes in Computer Science;2018