Science of Computer Programming, Volume 192

Volume 192, June 2020

Special issue on Software-Intensive Systems of Systems (SoS-SI-2018) Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2018) Regular article Special issue on Theoretical Aspect of Software Engineering (TASE 2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics