Cited By
View all- Hinrichsen JJacobs JKrebbers R(2024)Multris: Functional Verification of Multiparty Message Passing in Separation LogicProceedings of the ACM on Programming Languages10.1145/36897628:OOPSLA2(1446-1474)Online publication date: 8-Oct-2024
- Frei FGelles RGhazy ANolin AKuznetsov PGelles ROlivetti D(2024)Brief Announcement: Content-Oblivious Leader Election on RingsProceedings of the 43rd ACM Symposium on Principles of Distributed Computing10.1145/3662158.3662785(549-552)Online publication date: 17-Jun-2024
- Elad NPadon OShoham S(2024)An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive VerificationProceedings of the ACM on Programming Languages10.1145/36328758:POPL(970-1000)Online publication date: 5-Jan-2024
- Show More Cited By