@InProceedings{DuraczKonecny2008:pfe-verification-cfv,
  author =       {Jan Andrzej Duracz and Michal {Kone\v{c}n{\'y}}},
  title =        {Polynomial Function Enclosures and Floating Point Software Verification},
  booktitle =    {{Proceedings of CFV 2008 in Sydney}},
  year =         "2008"
}