Foundations of Software Science and Computational Structures: Proc./23rd International Conference, FOSSACS 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 2020

Foundations of Software Science and Computational Structures: Proc./23rd International Conference, FOSSACS 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 2020Ed. by Goubault-Larrecq J., Konig B..-Berlin.: Springer, 2020.-Vol. 12077.-644 p.-(Lecture Notes in Computer Science).