SpringerLink (Online service), Avni, G., Giacobbe, M., Johnson, T. T., Katz, G., Lukina, A., . . . Schilling, C. (2024). AI Verification: First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings (1st ed. 2024.). Springer Nature Switzerland : Imprint: Springer. https://doi.org/10.1007/978-3-031-65112-0
Chicago-viite (17. p.)SpringerLink (Online service), Guy Avni, Mirco Giacobbe, Taylor T. Johnson, Guy Katz, Anna Lukina, Nina Narodytska, ja Christian Schilling. AI Verification: First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings. 1st ed. 2024. Cham: Springer Nature Switzerland : Imprint: Springer, 2024. https://doi.org/10.1007/978-3-031-65112-0.
MLA-viite (9. p.)SpringerLink (Online service), et al. AI Verification: First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings. 1st ed. 2024. Springer Nature Switzerland : Imprint: Springer, 2024. https://doi.org/10.1007/978-3-031-65112-0.