Journal of Systems and Software, Volume 89

Volume 89, March 2014

Special issue: Trustworthy Software Regular Articles
a service of Schloss Dagstuhl - Leibniz Center for Informatics