TI  - Design and Verification of Parity Checking Circuit Using HOL4 Theorem Proving
AU  - DENİZ, E.
AU  - AKSOY, K.
AU  - TAHAR, S.
AU  - ZEREN, Y.
SO  - Sigma Journal of Engineering and Natural Sciences 2019;10:245-252.
DO  -