APA引文

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引文

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

警告：這些引文格式不一定是100％准確.