BibTeX record conf/mkm/DumasDER14

• > Home > conf/mkm/DumasDER14

@inproceedings{DBLP:conf/mkm/DumasDER14,
  author       = {Jean{-}Guillaume Dumas and
                  Dominique Duval and
                  Burak Ekici and
                  Jean{-}Claude Reynaud},
  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        = {Certified Proofs in Programs Involving Exceptions},
  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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1186},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1186/paper-20.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:18 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/DumasDER14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}