Cited By
View all- Ghilardi SGianola AKapur DNaso C(2023)Interpolation Results for Arrays with Length and MaxDiffACM Transactions on Computational Logic10.1145/358716124:4(1-33)Online publication date: 9-Jun-2023
- Srikanth ASahin BHarris W(2017)Complexity verification using guided theorem enumerationACM SIGPLAN Notices10.1145/3093333.300986452:1(639-652)Online publication date: 1-Jan-2017
- Srikanth ASahin BHarris WCastagna GGordon A(2017)Complexity verification using guided theorem enumerationProceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages10.1145/3009837.3009864(639-652)Online publication date: 1-Jan-2017
- Show More Cited By