Cited By
View all- Guilloud SKunčak V(2024)Orthologic with AxiomsProceedings of the ACM on Programming Languages10.1145/36328818:POPL(1150-1178)Online publication date: 5-Jan-2024
- Böltz LSofronie-Stokkermans VFrey H(2024)On the Verification of the Correctness of a Subgraph Construction AlgorithmVerification, Model Checking, and Abstract Interpretation10.1007/978-3-031-50524-9_14(303-325)Online publication date: 15-Jan-2024
- Schultz WDardik ITripakis SPopescu AZdancewic S(2022)Formal verification of a distributed dynamic reconfiguration protocolProceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs10.1145/3497775.3503688(143-152)Online publication date: 17-Jan-2022
- Show More Cited By