Summary
This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.
Authors: Nikolaj S. Bjørner, Clemens Eisenhofer, Laura Kovács
Journal title: Proceedings of the 20th International Workshop on Satisfiability Modulo Theories (SMT_
Journal number: CEUR Workshop Proceedings, volume 3185
Journal publisher: CEUR-WS.org
Published year: 2022
Published pages: 71-79
Search
Associated projects
Organisations
- Not specified