Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings

Advances in Service-Oriented and Cloud Computing: Workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017, Revised Selected Papers

Theoretical Aspects of Computing – ICTAC 2020: 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings