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 Style (17th ed.) CitationLal, Akash, and 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 (9th ed.) CitationLal, Akash, and Stefano Tonetta. Verified Software: Theories, Tools and Experiments : 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022 : Revised Selected Papers. Springer, 2023.
Warning: These citations may not always be 100% accurate.