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