(2025). Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I. Springer Nature. https://doi.org/10.1007/978-3-031-90643-5
Chicago-Zitierstil (17. Ausg.)Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I. Cham: Springer Nature, 2025. https://doi.org/10.1007/978-3-031-90643-5.
MLA-Zitierstil (9. Ausg.)Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I. Springer Nature, 2025. https://doi.org/10.1007/978-3-031-90643-5.