Ade Azurat, author
Embedding programming logics in hol theorem prover
2002
 Artikel Jurnal
Embedding programming logics in HOL Theorem prover A. Azurat, I.S.W.B. Prasetya dan S.D. Sierstra
 Artikel Jurnal
Dwi Teguh Priyantini, author
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
Fakultas Ilmu Komputer Universitas Indonesia, 2017
 UI - Tesis (Membership)
Caroline D. Puspa, author
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)
Octovianus Andriato, author
Lingkungan verifikasi formal untuk program sekuensial dalam interactive theorem prover hol
Fakultas Ilmu Pengetahuan dan Budaya Universitas Indonesia, 1998
 UI - Skripsi (Membership)
<<   1 2 3   >>