Verified Software. Theories, Tools and Experiments : 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers

MLA

Lal, 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: Springer International Publishing AG, 2023.

APA

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. Cham: Springer International Publishing AG.

Chicago

Lal, 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: Springer International Publishing AG, 2023.