Publications

2 results for Agostino Cortesi

The abstract domain of Trapezoid Step Functions
- - Agostino Cortesi
  - Giulia Costantini
  - et al.
- 2015
- Comput. Lang. Syst. Struct.
A suite of abstract domains for static analysis of string values
- - Giulia Costantini
  - Pietro Ferrara
  - et al.
- 2013
- Software - Practice and Experience