Cited By
View all- Campion MDalla Preda MGiacobazzi RUrban C(2024)Monotonicity and the Precision of Program AnalysisProceedings of the ACM on Programming Languages10.1145/36328978:POPL(1629-1662)Online publication date: 5-Jan-2024
- Olivieri LSpoto F(2024)Software verification challenges in the blockchain ecosystemInternational Journal on Software Tools for Technology Transfer10.1007/s10009-024-00758-x26:4(431-444)Online publication date: 12-Jul-2024
- Cousot P(2023)A Personal Historical Perspective on Abstract InterpretationThe French School of Programming10.1007/978-3-031-34518-0_9(205-239)Online publication date: 11-Oct-2023
- Show More Cited By