Citação norma APA

Silva. (2021). Computer Aided Verification (1.). Springer International Publishing.

Citação norma Chicago

Silva. Computer Aided Verification. 1. Springer International Publishing, 2021.

Citação norma MLA

Silva. Computer Aided Verification. 1. Springer International Publishing, 2021.

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