APA (7th ed.) Citation

International Conference on Formal Methods in Computer-Aided Design Prag, Narodytska, N., & Rümmer, P. (2024). Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024. TU Wien Academic Press. https://doi.org/10.34727/2024/isbn.978-3-85448-065-5

Chicago Style (17th ed.) Citation

International Conference on Formal Methods in Computer-Aided Design Prag, Nina Narodytska, and Philipp Rümmer. Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024. Wien: TU Wien Academic Press, 2024. https://doi.org/10.34727/2024/isbn.978-3-85448-065-5.

MLA (9th ed.) Citation

International Conference on Formal Methods in Computer-Aided Design Prag, et al. Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024. TU Wien Academic Press, 2024. https://doi.org/10.34727/2024/isbn.978-3-85448-065-5.