Penggayaan APA
Cousot, Radhia., SpringerLink (Online service). ().
Verification, Model Checking, and Abstract Interpretation (1st ed. 2005.).
:
.
Chicago Style
Cousot, Radhia., SpringerLink (Online service).
Verification, Model Checking, and Abstract Interpretation.
1st ed. 2005.
:
,
.
E Book.
MLA Style
Cousot, Radhia., SpringerLink (Online service).
Verification, Model Checking, and Abstract Interpretation.
1st ed. 2005.
:
,
.
E Book.
Turabian Style
Cousot, Radhia., SpringerLink (Online service).
Verification, Model Checking, and Abstract Interpretation.
1st ed. 2005.
:
,
.
E Book.