APA引文

Dillig, I. (2017). Verification, Model Checking, and Abstract Interpretation. Springer.

Chicago Style Citation

Dillig, Isil. Verification, Model Checking, and Abstract Interpretation. Springer, 2017.

MLA引文

Dillig, Isil. Verification, Model Checking, and Abstract Interpretation. Springer, 2017.

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