SC-Square 2023 : Satisfiability Checking and Symbolic Computation 2023 : Proceedings of the 8th SC-Square Workshop : co-located with the 48th International Symposium on Symbolic and Algebraic Computation (ISSAC 2023) : Tromsø, Norway, July 28, 2023

Ábrahám, Erika (Editor); Sturm, Thomas (Editor)

CEUR-WS.org (2023)
Book, Proceedings

In: CEUR Workshop Proceedings 3455

Institutions

• Department of Computer Science [120000]
• Theory of Hybrid Systems Research Group [123420]