Science of Computer Programming, Volume 58

Volume 58, Numbers 1-2, October 2005

Special Issue on the Static Analysis Symposium 2003 - SAS'03

Volume 58, Number 3, December 2005

Special Issue on Concurrency and synchonization in Java programs