Gaya APA

Verification, Model Checking, and Abstract Interpretation. (). : .

Gaya MLA

Verification, Model Checking, and Abstract Interpretation. 1st ed. 2005.. : , . E Book.