Software Quality Journal, Volume 21

Volume 21, Number 1, March 2013

Special Section on Tests and Proofs

Volume 21, Number 2, June 2013

Volume 21, Number 3, September 2013

Volume 21, Number 4, December 2013

a service of Schloss Dagstuhl - Leibniz Center for Informatics