@techreport{BM06NIA,
  author =       "S. Boldo and C. Mu{\~{n}}oz",
  title =        "A Formalization of Floating-Point Numbers in {PVS}",
  institution =  "NASA Langley Research Center",
  year =         "2006",
  type =         "Contract Report",
  number =       "NASA/CR-2006-214298, NIA Report No. 2006-01",
  address =      "National Institute of Aerospace, Hampton, VA",
}