1 January 2008

The conference paper “Widening operators for abstract interpretation”, by Cortesi, A., has just been published in “Proceedings - 6th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008”! Available here.