APA (7. basım) Alıntı

SpringerLink (Online service) & Cerone, A. (2023). Formal Methods for an Informal World: ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures (1st ed. 2023.). Springer International Publishing : Imprint: Springer. https://doi.org/10.1007/978-3-031-43678-9

Chicago Style (17. basım) Atıf

SpringerLink (Online service) ve Antonio Cerone. Formal Methods for an Informal World: ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures. 1st ed. 2023. Cham: Springer International Publishing : Imprint: Springer, 2023. https://doi.org/10.1007/978-3-031-43678-9.

MLA (9th ed.) Atıf

SpringerLink (Online service) ve Antonio Cerone. Formal Methods for an Informal World: ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures. 1st ed. 2023. Springer International Publishing : Imprint: Springer, 2023. https://doi.org/10.1007/978-3-031-43678-9.