SMT Solving for Arithmetic Theories: Theory and Tool Support

Ábrahám, Erika (Corresponding author); Kremer, Gereon

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

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

Identifikationsnummern