Gaya APA
Azurat, A., Prasetya, I.S.W.B., Swierstra, S.D.. ().
Embedding programming logics in hol theorem prover .
:
.
Gaya Chicago
Azurat, A., Prasetya, I.S.W.B., Swierstra, S.D..
Embedding programming logics in hol theorem prover.
:
,
.
Text.
Gaya MLA
Azurat, A., Prasetya, I.S.W.B., Swierstra, S.D..
Embedding programming logics in hol theorem prover.
:
,
.
Text.
Gaya Turabian
Azurat, A., Prasetya, I.S.W.B., Swierstra, S.D..
Embedding programming logics in hol theorem prover.
:
,
.
Print.