Adnan Rashid, Sa'ed Abed, Osman Hasan. Formal analysis of 2D image processing filters using higher-order logic theorem proving. EURASIP J. Adv. Sig. Proc., 2022(1):53, 2022. [doi]
@article{RashidAH22,
title = {Formal analysis of 2D image processing filters using higher-order logic theorem proving},
author = {Adnan Rashid and Sa'ed Abed and Osman Hasan},
year = {2022},
doi = {10.1186/s13634-022-00882-3},
url = {https://doi.org/10.1186/s13634-022-00882-3},
researchr = {https://researchr.org/publication/RashidAH22},
cites = {0},
citedby = {0},
journal = {EURASIP J. Adv. Sig. Proc.},
volume = {2022},
number = {1},
pages = {53},
}