A Formal Analysis of the Compact Position Reporting Algorithm

Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz
June 2017
PDF Cite DOI
Type
Conference paper
Publication
In Proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2017)