![](/img/cover-not-exists.png)
Crosschecking Distributed Data to Detect Integer Overflow
Zafra Saggioro, Luiz Felipe, Mendes Paisante, Vitor, Ernani Rodrigues, Raphel, Barbosa e Oliveira, Leonardo, Magno Quintao Pereira, FernandoVolume:
13
Journal:
IEEE Latin America Transactions
DOI:
10.1109/tla.2015.7106361
Date:
April, 2015
File:
PDF, 1.01 MB
2015