The SMT-LIB Standard: Version 2.5. Barrett, C., Fontaine, P., & Tinelli, C. Technical Report Department of Computer Science, The University of Iowa, 2015.
bibtex   
@techreport{
 title = {The SMT-LIB Standard: Version 2.5},
 type = {techreport},
 year = {2015},
 institution = {Department of Computer Science, The University of Iowa},
 id = {ec6ec72d-bbcc-33c5-884a-6b2ca387ba8e},
 created = {2017-04-26T09:06:21.457Z},
 file_attached = {false},
 profile_id = {93e9c71a-776d-397a-8da2-55f5d4b0425c},
 group_id = {337127a6-4a46-3af3-a559-f76746200fef},
 last_modified = {2017-04-26T09:06:21.457Z},
 read = {false},
 starred = {false},
 authored = {false},
 confirmed = {true},
 hidden = {false},
 citation_key = {smtlib25},
 source_type = {techreport},
 bibtype = {techreport},
 author = {Barrett, Clark and Fontaine, Pascal and Tinelli, Cesare}
}

Downloads: 0