Found 2 Documents (Results 1–2)
A formally verified floating-point implementation of the compact position reporting algorithm. (English) Zbl 1460.68128
Havelund, Klaus (ed.) et al., Formal methods. 22nd international symposium, FM 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 15–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10951, 364-381 (2018).
Filter Results by …
Document Type
- Journal Articles (1)
- Collection Articles (1)
Author
- Bobot, François (2)
- Dutle, Aaron M. (2)
- Moscato, Mariano M. (2)
- Muñoz, César A. (2)
- Titolo, Laura (2)