SpringerLink (Online service), Lal, A., & Tonetta, S. (2023). Verified Software. Theories, Tools and Experiments: 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers (1st ed. 2023.). Springer International Publishing : Imprint: Springer. https://doi.org/10.1007/978-3-031-25803-9
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)SpringerLink (Online service), Akash Lal, và Stefano Tonetta. Verified Software. Theories, Tools and Experiments: 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers. 1st ed. 2023. Cham: Springer International Publishing : Imprint: Springer, 2023. https://doi.org/10.1007/978-3-031-25803-9.
Trích dẫn kiểu MLA (xuất bản lần thứ 9)SpringerLink (Online service), et al. Verified Software. Theories, Tools and Experiments: 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers. 1st ed. 2023. Springer International Publishing : Imprint: Springer, 2023. https://doi.org/10.1007/978-3-031-25803-9.