Science of Computer Programming, Volume 184

Volume 184, October 2019

Regular articles Special section on Foundations of Coordination Languages and Self-Adaptive Systems (FOCLASA 2018) Special section on FSEN 2017 Special section on Software-Intensive Systems of Systems Special section on The 12th International Symposium on Theoretical Aspects of Software Engineering (TASE 2018) Special section on Abstract State Machines, Alloy, B, TLA, VDM and Z (ABZ 2016) Short communication
a service of Schloss Dagstuhl - Leibniz Center for Informatics