Cited By
View all- Gopinathan KKeoliya MSergey I(2023)Mostly Automated Proof Repair for Verified LibrariesProceedings of the ACM on Programming Languages10.1145/35912217:PLDI(25-49)Online publication date: 6-Jun-2023
- Mulder IKrebbers R(2023)Proof Automation for Linearizability in Separation LogicProceedings of the ACM on Programming Languages10.1145/35860437:OOPSLA1(462-491)Online publication date: 6-Apr-2023
- Sasdelli FAmaro MCardoso EFeitosa SRibeiro RCavalcante EDantas FBatista T(2020)Syntax vs SemanticsProceedings of the 24th Brazilian Symposium on Context-Oriented Programming and Advanced Modularity10.1145/3427081.3427083(9-16)Online publication date: 19-Oct-2020
- Show More Cited By