| 2009 | ||
|---|---|---|
| 2 | Vincent Laviron, Francesco Logozzo: Refining Abstract Interpretation-Based Static Analyses with Hints. APLAS 2009: 343-358 | |
| 1 | Vincent Laviron, Francesco Logozzo: SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities. VMCAI 2009: 229-244 | |
| 1 | Francesco Logozzo | [1] [2] |