10th International Workshop on Satisfiability Modulo Theories, SMT 2012, Manchester, UK, June 30 - July 1, 2012. Fontaine, P. & Goel, A., editors Volume 20of EPiC Series in ComputingEasyChair. 2013. Paper bibtex @proceedings{DBLP:conf/cade/2012smt,
editor = {Pascal Fontaine and
Amit Goel},
title = {10th International Workshop on Satisfiability Modulo Theories, {SMT}
2012, Manchester, UK, June 30 - July 1, 2012},
series = {EPiC Series in Computing},
volume = {20},
publisher = {EasyChair},
year = {2013},
url = {http://www.easychair.org/publications/?page=933681105},
timestamp = {Thu, 16 Jun 2016 17:11:03 +0200},
biburl = {https://dblp.org/rec/bib/conf/cade/2012smt},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"rAAEDrB2FCf6AghKL","bibbaseid":"fontaine-goel-10thinternationalworkshoponsatisfiabilitymodulotheoriessmt2012manchesterukjune30july12012-2013","downloads":0,"creationDate":"2018-07-08T21:22:38.839Z","title":"10th International Workshop on Satisfiability Modulo Theories, SMT 2012, Manchester, UK, June 30 - July 1, 2012","author_short":null,"year":2013,"bibtype":"proceedings","biburl":"https://dblp.org/pid/m/KennethLMcMillan.bib","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"firstnames":["Pascal"],"propositions":[],"lastnames":["Fontaine"],"suffixes":[]},{"firstnames":["Amit"],"propositions":[],"lastnames":["Goel"],"suffixes":[]}],"title":"10th International Workshop on Satisfiability Modulo Theories, SMT 2012, Manchester, UK, June 30 - July 1, 2012","series":"EPiC Series in Computing","volume":"20","publisher":"EasyChair","year":"2013","url":"http://www.easychair.org/publications/?page=933681105","timestamp":"Thu, 16 Jun 2016 17:11:03 +0200","biburl":"https://dblp.org/rec/bib/conf/cade/2012smt","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:conf/cade/2012smt,\n editor = {Pascal Fontaine and\n Amit Goel},\n title = {10th International Workshop on Satisfiability Modulo Theories, {SMT}\n 2012, Manchester, UK, June 30 - July 1, 2012},\n series = {EPiC Series in Computing},\n volume = {20},\n publisher = {EasyChair},\n year = {2013},\n url = {http://www.easychair.org/publications/?page=933681105},\n timestamp = {Thu, 16 Jun 2016 17:11:03 +0200},\n biburl = {https://dblp.org/rec/bib/conf/cade/2012smt},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","editor_short":["Fontaine, P.","Goel, A."],"key":"DBLP:conf/cade/2012smt","id":"DBLP:conf/cade/2012smt","bibbaseid":"fontaine-goel-10thinternationalworkshoponsatisfiabilitymodulotheoriessmt2012manchesterukjune30july12012-2013","role":"editor","urls":{"Paper":"http://www.easychair.org/publications/?page=933681105"},"downloads":0,"html":""},"search_terms":["10th","international","workshop","satisfiability","modulo","theories","smt","2012","manchester","june","july","2012"],"keywords":[],"authorIDs":[],"dataSources":["mNLXpycJZCXeu2mHY"]}