@inproceedings{DBLP:conf/smt/BonichonDDT15,
  author    = {Richard Bonichon and
               David D{\'{e}}harbe and
               Pablo Dobal and
               Cl{\'{a}}udia Tavares},
  title     = {{SMTpp} : preprocessors and analyzers for {SMT-LIB}},
  year      = {2015},
  journal   = {13th International Workshop on Satisfiability Modulo
               Theories},
  note      = {To appear}
}