Conference paper published in "Electronic Proceedings in Theoretical Computer Science, EPTCS"!
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.