Electronic Notes in Theoretical Computer Science, Volume 118

Volume 118, February 2005

Proceedings of the International Workshop on Software Verification and Validation (SVV 2003)
maintained by Schloss Dagstuhl LZI, founded at University of Trier