@article{article456,
  title = {Design and Verification of Parity Checking Circuit Using HOL4 Theorem Proving},
  author = {DENİZ, E. and AKSOY, K. and TAHAR, S. and ZEREN, Y.},
  journal = {Sigma Journal of Engineering and Natural Sciences},
  year = {2019},
  volume = {10},
  pages = {245-252},
  doi = {}
}