Παραπομπή σε μορφή APA (7η εκδ.)

SpringerLink (Online service), Arceri, V., Cortesi, A., Ferrara, P., & Olliaro, M. (2023). Challenges of Software Verification (1st ed. 2023.). Springer Nature Singapore : Imprint: Springer. https://doi.org/10.1007/978-981-19-9601-6

Παραπομπή σε μορφή Chicago (17η εκδ.)

SpringerLink (Online service), Vincenzo Arceri, Agostino Cortesi, Pietro Ferrara, και Martina Olliaro. Challenges of Software Verification. 1st ed. 2023. Singapore: Springer Nature Singapore : Imprint: Springer, 2023. https://doi.org/10.1007/978-981-19-9601-6.

Παραπομπή σε μορφή MLA (9th εκδ.)

SpringerLink (Online service), et al. Challenges of Software Verification. 1st ed. 2023. Springer Nature Singapore : Imprint: Springer, 2023. https://doi.org/10.1007/978-981-19-9601-6.