19th International Workshop on Satisfiability Modulo Theories (SMT)

Alexander Nadel, Aina Niemetz

Abstract: The aim of this workshop is to bring together researchers working on SMT and users of SMT techniques and tools.

Visit the workshop's website, or select an event below to watch its recording.