Cita APA (7a ed.)
Protzenko, J., & Raad, A. (2025). Verified Software. Theories, Tools and Experiments. Springer Nature.
Cita Chicago Style (17a ed.)
Protzenko, Jonathan, y Azalea Raad. Verified Software. Theories, Tools and Experiments. Springer Nature, 2025.
Cita MLA (9a ed.)
Protzenko, Jonathan, y Azalea Raad. Verified Software. Theories, Tools and Experiments. Springer Nature, 2025.
Precaución: Estas citas no son 100% exactas.