Cited By
View all- Olliaro MArceri VCortesi AFerrara P(2023)Lifting String Analysis DomainsChallenges of Software Verification10.1007/978-981-19-9601-6_7(109-143)Online publication date: 22-Jul-2023
- Jurjo DMorales JLopez-Garcia PHermenegildo M(2023)A Rule-Based Approach for�Designing and�Composing Abstract DomainsLogic-Based Program Synthesis and Transformation10.1007/978-3-031-45784-5_6(80-98)Online publication date: 16-Oct-2023
- Seed TCoppins CKing AEvans N(2023)Polynomial Analysis of�Modular ArithmeticStatic Analysis10.1007/978-3-031-44245-2_22(508-539)Online publication date: 24-Oct-2023
- Show More Cited By