Login / Signup

A Formally Verified Floating-Point Implementation of the Compact Position Reporting Algorithm.

Laura TitoloMariano M. MoscatoCésar A. MuñozAaron DutleFrançois Bobot
Published in: FM (2018)
Keyphrases