Event Beta

10th International Workshop on Satisfiability Modulo Theories, SMT 2012, Manchester, UK, June 30 - July 1, 2012

Name: 10th International Workshop on Satisfiability Modulo Theories, SMT 2012, Manchester, UK, June 30 - July 1, 2012
Start: 2012-06-30
End: 2012-07-01
Location: Manchester

SMT

Date: 2012-06-30 to 2012-07-01
Place: Manchester, United Kingdom on the map
Series: International Workshop on Satisfiability Modulo Theories (SMT)
Edition: 10
Academic field: Natural sciences: Computer and information sciences
Disciplines: computer science
Identifier: https://id.confref.org/event/e10tgs6

Proceedings

Title	DOI	Year	Record
10th International Workshop on Satisfiability Modulo Theories, SMT 2012, Manchester, UK, June 30 - July 1, 2012 EPiC Series in Computing 20		2013	dblp

Sources

The records of the sources that this identifier brings together (cr:sameAs).

confref portal (2020)	`https://id.confref.org/data/confref-portal/event/smt2012` · page
dblp	`https://dblp.org/db/conf/cade/smt2012`

Cite

10th International Workshop on Satisfiability Modulo Theories, SMT 2012, Manchester, UK, June 30 - July 1, 2012. confref identifier e10tgs6. https://id.confref.org/event/e10tgs6

Data: Turtle · JSON-LD · N-Triples · RDF/XML

APIs · SPARQL · About the identifiers

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.