Journal of Systems and Software, Volume 129

Volume 129, July 2017

Regular Articles Special Section: SCAM-14
a service of Schloss Dagstuhl - Leibniz Center for Informatics