1 January 2003

The journal article “Static analysis”, by Cortesi, A., Filé, G., has just been published in “Science of Computer Programming”! Available here.