Using HOL4 for the Reliability Verification of Parity Checking Circuit


Deniz E., Aksoy K., Tahar S., ZEREN Y.

2nd Intertanional Conference on Mathematical advances and Applications (ICOMAA2019), 3 - 05 Mayıs 2019