conchon-nd-built:
  type: article
  title: Built-in Treatment of an Axiomatic Floating-Point Theory for SMT Solvers
  author:
  - Conchon, Sylvain
  - Melquiond, Guillaume
  - Roux, Cody
  - Iguernelala, Mohamed
  page-range: 12-1
  url: http://dx.doi.org/10.29007/wh99
  serial-number:
    doi: 10.29007/wh99
    issn: 2398-7340
  parent:
    type: proceedings
    title: EPiC Series in Computing
    publisher: EasyChair
    volume: 20