TY  - RPRT
TI  - A Formally Verified Floating-Point Implementation of the Compact Position Reporting Algorithm
AU  - Laura Titolo
AU  - Mariano M Moscato
AU  - Cesar A Munoz
AU  - Aaron Dutle
AU  - Francois Bobot
PY  - 2018
UR  - https://ntrs.nasa.gov/citations/20190002552
ID  - 20190002552
ER  -