TY  - JOUR
TI  - Introduction to HOL4 Theorem Prover
AU  - AKSOY, K.
AU  - TAHAR, S.
AU  - ZEREN, Y.
JO  - Sigma Journal of Engineering and Natural Sciences
PY  - 2019
VL  - 10
SP  - 237
EP  - 243
DO  - 
ER  -