APA引文

Gupta, A., & Malik, S. (2020). Computer Aided Verification. Springer Berlin Heidelberg.

Trích dẫn kiểu Chicago

Gupta, Aarti, và Sharad Malik. Computer Aided Verification. Springer Berlin Heidelberg, 2020.

MLA引文

Gupta, Aarti, và Sharad Malik. Computer Aided Verification. Springer Berlin Heidelberg, 2020.

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