Journal of Systems and Software, Volume 142

Volume 142, August 2018

Special Section on SEAA-2017
maintained by Schloss Dagstuhl LZI at University of Trier