%0 Journal Article
%T Introduction to HOL4 Theorem Prover
%A AKSOY, K.
%A TAHAR, S.
%A ZEREN, Y.
%J Sigma Journal of Engineering and Natural Sciences
%D 2019
%V 10
%P 237-243
%R