Embedding programming logics in hol theorem prover

Sebuah framework untuk mekanisasi multi logika I.S.W.B. Prasetya, A. Azurat dan S.D. Swierstra

Mechanizing logic in an aspect oriented attribute grammar system A. Azurat, I.S.W.B. Prasetya dan S.D. Swierstra

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 basis data dengan lingu dan theorem prover hol