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.
Chicago-Zitierstil (17. Ausg.)Lal, Akash, 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.
MLA-Zitierstil (9. Ausg.)Lal, Akash, und Stefano Tonetta. Verified Software: Theories, Tools and Experiments : 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022 : Revised Selected Papers. Springer, 2023.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.