APA সাইটেশন

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

শিকাগো স্টাইলে সাইটেশন

Gupta, Aarti, এবং Sharad Malik. Computer Aided Verification. Springer Berlin Heidelberg, 2020.

এমএলএ সাইটেশন

Gupta, Aarti, এবং Sharad Malik. Computer Aided Verification. Springer Berlin Heidelberg, 2020.