APA Citation

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

Chicago Style Citation

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

MLA Citation

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

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