Ade Azurat
Embedding programming logics in hol theorem prover
2002
 Artikel Jurnal
Proses verifikasi piranti lunak basis data dengan lingu dan theorem prover hol
oleh Heru Suhartanto [and others]
Fakultas Ilmu Komputer Universitas Indonesia, 2007
 Buku Teks SO
Caroline D. Puspa
Proses verifikasi piranti lunak menggunakan lingu dan theorem prover HOL pada studi kasus student entrace test
Fakultas Ilmu Komputer Universitas Indonesia, 2006
 UI - Skripsi Membership
Embedding programming logics in HOL Theorem prover A. Azurat, I.S.W.B. Prasetya dan S.D. Sierstra
 Artikel Jurnal
Octovianus Andriato
Lingkungan verifikasi formal untuk program sekuensial dalam interactive theorem prover hol
Fakultas Ilmu Pengetahuan Budaya Universitas Indonesia, 1998
 UI - Skripsi Membership