@book{bartocci:hal-03533127, TITLE = {{Formal Methods in Outer Space}}, AUTHOR = {Bartocci, Ezio and Falcone, Yli{\`e}s and Leucker, Martin}, URL = {https://inria.hal.science/hal-03533127}, PUBLISHER = {{Springer International Publishing}}, SERIES = {Lecture Notes in Computer Science}, VOLUME = {13065}, PAGES = {1-193}, YEAR = {2021}, DOI = {10.1007/978-3-030-87348-6}, HAL_ID = {hal-03533127}, HAL_VERSION = {v1}, }