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 2019

  • Publication Type: Conference Paper / Summary Text