Science of Computer Programming, Volume 192

Refine list

showing all ?? records

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