Cita APA (7a ed.)

(2023). Computer Aided Verification. Springer Nature Switzerland.

Cita Chicago Style (17a ed.)

Computer Aided Verification. Springer Nature Switzerland, 2023.

Cita MLA (9a ed.)

Computer Aided Verification. Springer Nature Switzerland, 2023.