APA Style

FINKBEINER, B., KOVACS, L. (2024). Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I (1). Zurich, Switzerland: Springer International Publishing.

MLA Style

FINKBEINER, Bernd., KOVACS, Laura. "Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I". 1 Zurich, Switzerland: Springer International Publishing, 2024. Text.