APA Style
MacKenzie, Donald., Wright- Andrew. ().
Mechanizing Proof : computing, risk, and trust .
:
.
Chicago Style
MacKenzie, Donald., Wright- Andrew.
Mechanizing Proof : computing, risk, and trust.
:
,
.
.
MLA Style
MacKenzie, Donald., Wright- Andrew.
Mechanizing Proof : computing, risk, and trust.
:
,
.
.
Turabian Style
MacKenzie, Donald., Wright- Andrew.
Mechanizing Proof : computing, risk, and trust.
:
,
.
.