Gaya APA
Suhartanto, H. (2007).
PROSES VERIFIKASI PIRANTI LUNAK BASIS DATA dengan LINGU dan THEOREM PROVER HOL .
Jakarta:
fakultas ilmu komputer.
Gaya MLA
Suhartanto, Heru.
"PROSES VERIFIKASI PIRANTI LUNAK BASIS DATA dengan LINGU dan THEOREM PROVER HOL".
Jakarta:
fakultas ilmu komputer,
2007.
Text.