Citação norma APA

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

Citação norma Chicago

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

Citação norma MLA

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

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.