SMT Solving for Arithmetic Theories: Theory and Tool Support

IEEE (2017) [Buchbeitrag, Beitrag zu einem Tagungsband]

19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Seite(n): 1-8

Autorinnen und Autoren

Autorinnen und Autoren

Ábrahám, Erika
Kremer, Gereon Lukas

Identifikationsnummern