1 January 2005

The journal article “Abstract interpretation and object-oriented programming: Quo vadis?”, by Logozzo, F., Cortesi, A., has just been published in “Electronic Notes in Theoretical Computer Science”! Available here.