International Conference on Verified Software: Theories, Tools, and Experiments Trient, 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. Springer. https://doi.org/10.1007/978-3-031-25803-9
Chicago-Zitierstil (17. Ausg.)International Conference on Verified Software: Theories, Tools, and Experiments Trient, Akash Lal, und Stefano Tonetta. Verified Software: Theories, Tools and Experiments : 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers. Cham, Switzerland: Springer, 2023. https://doi.org/10.1007/978-3-031-25803-9.
MLA-Zitierstil (9. Ausg.)International Conference on Verified Software: Theories, Tools, and Experiments Trient, et al. Verified Software: Theories, Tools and Experiments : 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers. Springer, 2023. https://doi.org/10.1007/978-3-031-25803-9.