Mahum Naseer, Waqar Ahmad, Osman Hasan. Formal Verification of ECCs for Memories Using ACL2. J. Electronic Testing, 36(5):643-663, 2020. [doi]
@article{NaseerAH20,
title = {Formal Verification of ECCs for Memories Using ACL2},
author = {Mahum Naseer and Waqar Ahmad and Osman Hasan},
year = {2020},
doi = {10.1007/s10836-020-05904-2},
url = {https://doi.org/10.1007/s10836-020-05904-2},
researchr = {https://researchr.org/publication/NaseerAH20},
cites = {0},
citedby = {0},
journal = {J. Electronic Testing},
volume = {36},
number = {5},
pages = {643-663},
}