A Formal Analysis of the Compact Position Reporting Algorithm

Jun 22, 2017·
Aaron Dutle
,
Mariano M. Moscato
,
Laura Titolo
,
Cesar A. Muñoz
· 0 min read
Type
Publication
In Proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2017)