1 January 2011

The journal article “Widening and narrowing operators for abstract interpretation”, by Cortesi, A., Zanioli, M., has just been published in “Computer Languages, Systems and Structures”! Available here.