1 January 2015

The journal article “The abstract domain of Trapezoid Step Functions”, by Cortesi, A., Costantini, G., Ferrara, P., has just been published in “Computer Languages, Systems and Structures”! Available here.