Cita APA (7a ed.)
Piskac, R., & Rakamarić, Z. (2025). Computer Aided Verification. Springer Nature Switzerland.
Cita Chicago Style (17a ed.)
Piskac, Ruzica, y Zvonimir Rakamarić. Computer Aided Verification. Springer Nature Switzerland, 2025.
Cita MLA (9a ed.)
Piskac, Ruzica, y Zvonimir Rakamarić. Computer Aided Verification. Springer Nature Switzerland, 2025.
Precaución: Estas citas no son 100% exactas.