Journal of Systems and Software, Volume 161

Volume 161, March 2020

a service of Schloss Dagstuhl - Leibniz Center for Informatics