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)
Buch, Tagungsband

In: CEUR Workshop Proceedings 3455

Einrichtungen

• Fachgruppe Informatik [120000]
• Lehr- und Forschungsgebiet Theorie Hybrider Systeme [123420]