Proceedings
Proceedings of the workshop are published at CEUR-WS.org.
Complete proceedings in one ZIP file are available here.
SMT 2016
14th International Workshop on Satisfiability Modulo Theories
July 1 - 2, 2016, Coimbra, Portugal
Affiliated with IJCAR 2016
-
History
-
Sponsor
-
Previous Workshops