International Conference on Verified Software: Theories, Tools and Experiments Ames, Iowa, Reynolds, A., & Tasiran, S. (2024). Verified software: Theories, tools and experiments : 15th international conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, revised selected papers (1st ed. 2024.). Springer. https://doi.org/10.1007/978-3-031-66064-1
Chicago-Zitierstil (17. Ausg.)International Conference on Verified Software: Theories, Tools and Experiments Ames, Iowa, Andrew Reynolds, und Serdar Tasiran. Verified Software: Theories, Tools and Experiments : 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers. 1st ed. 2024. Cham, Switzerland: Springer, 2024. https://doi.org/10.1007/978-3-031-66064-1.
MLA-Zitierstil (9. Ausg.)International Conference on Verified Software: Theories, Tools and Experiments Ames, Iowa, et al. Verified Software: Theories, Tools and Experiments : 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers. 1st ed. 2024. Springer, 2024. https://doi.org/10.1007/978-3-031-66064-1.