Journal article published in "Computer Languages, Systems and Structures"!
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.