Provably Correct Floating-Point Implementation of a Point-in-Polygon Algorithm

Mariano M. Moscato, Laura Titolo, Marco A. Feliu, and Cesar A. Muñoz
June 2019
PDF Cite DOI
Type
Conference paper
Publication
3rd World Congress on Formal Methods