Gaya APA

service), S, (., Cousot, R. (). Verification, Model Checking, and Abstract Interpretation (1st ed. 2005.). : .

Gaya MLA

service), SpringerLink, (Online., Cousot, Radhia.. "Verification, Model Checking, and Abstract Interpretation". 1st ed. 2005. : , . E Book.