Journal article published in "ACM Transactions on Programming Languages and Systems"!

1 January 1997

The journal article “Complementation in Abstract Interpretation”, by Cortesi, A., Filé, G., Giacobazzi, R., Palamidessi, C., Ranzato, F., has just been published in “ACM Transactions on Programming Languages and Systems”! Available here.