Flávio L. C. de Moura

@inproceedings{DBLP:conf/mkm/SegundoMV14,
  author    = {Washington de Carvalho Segundo and
               Fl{\'{a}}vio L. C. de Moura and
               Daniel Ventura},
  title     = {Formalizing a Named Explicit Substitutions Calculus in Coq},
  booktitle = {Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and
               Work in Progress track at {CICM} co-located with Conferences on Intelligent
               Computer Mathematics {(CICM} 2014), Coimbra, Portugal, July 7-11,
               2014.},
  year      = {2014},
  crossref  = {DBLP:conf/mkm/2014ws},
  url       = {http://ceur-ws.org/Vol-1186/paper-19.pdf},
  timestamp = {Mon, 30 May 2016 16:28:38 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/mkm/SegundoMV14},
  bibsource = {dblp computer science bibliography, http://dblp.org}}

@proceedings{DBLP:conf/mkm/2014ws,
  editor    = {Matthew England and
               James H. Davenport and
               Andrea Kohlhase and
               Michael Kohlhase and
               Paul Libbrecht and
               Walther Neuper and
               Pedro Quaresma and
               Alan P. Sexton and
               Petr Sojka and
               Josef Urban and
               Stephen M. Watt},
  title     = {Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and
               Work in Progress track at {CICM} co-located with Conferences on Intelligent
               Computer Mathematics {(CICM} 2014), Coimbra, Portugal, July 7-11,
               2014},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1186},
  publisher = {CEUR-WS.org},
  year      = {2014},
  url       = {http://ceur-ws.org/Vol-1186},
  urn       = {urn:nbn:de:0074-1186-1},
  timestamp = {Mon, 30 May 2016 16:28:38 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/mkm/2014ws},
  bibsource = {dblp computer science bibliography, http://dblp.org}}