Cita APA

SpringerLink (Online service), Protzenko, J., & Raad, A. (2025). Verified Software. Theories, Tools and Experiments: 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers (1st ed. 2025.). Springer Nature Switzerland : Imprint: Springer. https://doi.org/10.1007/978-3-031-86695-1

Citación estilo Chicago

SpringerLink (Online service), Jonathan Protzenko, and Azalea Raad. Verified Software. Theories, Tools and Experiments: 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers. 1st ed. 2025. Cham: Springer Nature Switzerland : Imprint: Springer, 2025. https://doi.org/10.1007/978-3-031-86695-1.

Cita MLA

SpringerLink (Online service), et al. Verified Software. Theories, Tools and Experiments: 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers. 1st ed. 2025. Springer Nature Switzerland : Imprint: Springer, 2025. https://doi.org/10.1007/978-3-031-86695-1.