APA Citation

David Hutchison, T. K. (2017). Verification, Model Checking, and Abstract Interpretation. Springer.

Chicago Style Citation

David Hutchison, Takeo Kanade. Verification, Model Checking, and Abstract Interpretation. Springer, 2017.

MLA Citation

David Hutchison, Takeo Kanade. Verification, Model Checking, and Abstract Interpretation. Springer, 2017.

Warning: These citations may not always be 100% accurate.