Feng Liu, Qingping Tan, Otmane Aït Mohamed. Formal proof of integer adders using all-prefix-sums operation. Science in China Series F: Information Sciences, 55(9):1949-1960, 2012. [doi]
@article{LiuTM12-0,
title = {Formal proof of integer adders using all-prefix-sums operation},
author = {Feng Liu and Qingping Tan and Otmane Aït Mohamed},
year = {2012},
doi = {10.1007/s11432-011-4331-7},
url = {http://dx.doi.org/10.1007/s11432-011-4331-7},
researchr = {https://researchr.org/publication/LiuTM12-0},
cites = {0},
citedby = {0},
journal = {Science in China Series F: Information Sciences},
volume = {55},
number = {9},
pages = {1949-1960},
}