APA Style
Suhartanto, Heru, Puspa, Carroline D., Prasetya, I.S.W.B., Azurat, Ade. (2007).
Proses verifikasi piranti lunak basis data dengan lingu dan theorem prover HOL .
Jakarta:
Fakultas Ilmu Komputer UI.
Chicago Style
Suhartanto, Heru, Puspa, Carroline D., Prasetya, I.S.W.B., Azurat, Ade.
Proses verifikasi piranti lunak basis data dengan lingu dan theorem prover HOL.
Jakarta:
Fakultas Ilmu Komputer UI,
2007.
Text.
MLA Style
Suhartanto, Heru, Puspa, Carroline D., Prasetya, I.S.W.B., Azurat, Ade.
Proses verifikasi piranti lunak basis data dengan lingu dan theorem prover HOL.
Jakarta:
Fakultas Ilmu Komputer UI,
2007.
Text.
Turabian Style
Suhartanto, Heru, Puspa, Carroline D., Prasetya, I.S.W.B., Azurat, Ade.
Proses verifikasi piranti lunak basis data dengan lingu dan theorem prover HOL.
Jakarta:
Fakultas Ilmu Komputer UI,
2007.
Print.