| 2011 | ||
|---|---|---|
| 2 | Matteo Zanioli, Agostino Cortesi: Information Leakage Analysis by Abstract Interpretation. SOFSEM 2011: 545-557 | |
| 1 | Agostino Cortesi, Matteo Zanioli: Widening and narrowing operators for abstract interpretation. Computer Languages, Systems & Structures 37(1): 24-42 (2011) | |
| 1 | Agostino Cortesi | [1] [2] |
Data released under the ODC-BY 1.0 license — See also our legal information page