TI  - Introduction to HOL4 Theorem Prover
AU  - AKSOY, K.
AU  - TAHAR, S.
AU  - ZEREN, Y.
SO  - Sigma Journal of Engineering and Natural Sciences 2019;10:237-243.
DO  -