Cited By
View all- Zhou ZDickerson RDelaware BJagannathan S(2021)Data-driven abductive inference of library specificationsProceedings of the ACM on Programming Languages10.1145/34854935:OOPSLA(1-29)Online publication date: 15-Oct-2021
- 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
- Murali APeña LLöding CMadhusudan P(2023)A First-order Logic with FramesACM Transactions on Programming Languages and Systems10.1145/358305745:2(1-44)Online publication date: 15-May-2023
- Show More Cited By