1 January 2013

The conference paper “A survey on product operators in abstract interpretation”, by Cortesi, A., Costantini, G., Ferrara, P., has just been published in “Electronic Proceedings in Theoretical Computer Science, EPTCS”! Available here.