7th International Workshop on Satisfiability Modulo Thoeries 2009 (SMT 09) : Montreal, Canada, 2-3, August, 2009
Author(s)
Bibliographic Information
7th International Workshop on Satisfiability Modulo Thoeries 2009 (SMT 09) : Montreal, Canada, 2-3, August, 2009
（ACM international conference proceedings series, 375）
Association for Computing Machinery, c2009
Available at / 1 libraries
-
No Libraries matched.
- Remove all filters.
