%0 Journal Article
%T Design and Verification of Parity Checking Circuit Using HOL4 Theorem Proving
%A DENİZ, E.
%A AKSOY, K.
%A TAHAR, S.
%A ZEREN, Y.
%J Sigma Journal of Engineering and Natural Sciences
%D 2019
%V 10
%P 245-252
%R