Science of Computer Programming, Volume 47

Volume 47, Number 1, April 2003

Volume 47, Number 2-3, May-June 2003

Special Issue on Static Analysis (SAS'99) Venice, Italy, 1999