SMT Solving for Arithmetic Theories: Theory and Tool Support

IEEE (2017) [Contribution to a book, Contribution to a conference proceedings]

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

Authors

Authors

Ábrahám, Erika
Kremer, Gereon Lukas

Identifier