@book{ 0-1697215289, title = {Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings}, series = {Theoretical Computer Science and General Issues}, series = {Springer eBook Collection}, author = {Goubault-Larrecq, Jean and König, Barbara}, editor = {Goubault-Larrecq, Jean}, editor = {König, Barbara}, address = {Cham}, publisher = {Springer International Publishing}, address = {; Cham}, publisher = {: Imprint: Springer}, year = {2020}, edition = {1st ed. 2020.}, pages = {644}, isbn = {9783030452315}, language = {English}, note = {Open Access}, url = {https://doi.org/10.1007/978-3-030-45231-5}, url = {https://katalog.gfzk.de/Record/0-1697215289} }