Embedding programming logics in HOL Theorem prover A. Azurat, I.S.W.B. Prasetya dan S.D. Sierstra

Formalisasi algoritma aritmatika dan konstruksi terkait pada VHDL dengan HOL theorem prover = Formalization of arithmetic algorithm and the related constructions in VHDL by using HOL theorem prover

Proses verifikasi piranti lunak menggunakan lingu dan theorem prover HOL pada studi kasus student entrace test

Proses verifikasi piranti lunak basis data dengan lingu dan theorem prover hol

Lingkungan verifikasi formal untuk program sekuensial dalam interactive theorem prover hol