Verified Software. Theories, Tools and Experiments: 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers

MLA

Jonathan Protzenko. Verified Software. Theories, Tools and Experiments: 16th International Conference, Vstte 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers. Springer Nature, 2025.

APA

Jonathan Protzenko, J. Protzenko. (2025). Verified Software. Theories, Tools and Experiments: 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers. Springer Nature.

Chicago

Jonathan Protzenko Verified Software. Theories, Tools and Experiments: 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers. : Springer Nature, 2025.