APA (7th ed.) Citation

International Conference on Formal Engineering Methods Hiroshima, Ogata, K., Mery, D., Sun, M., & Liu, S. (2024). Formal methods and software engineering: 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, proceedings (1st ed. 2024.). Springer. https://doi.org/10.1007/978-981-96-0617-7

Chicago Style (17th ed.) Citation

International Conference on Formal Engineering Methods Hiroshima, Kazuhiro Ogata, Dominique Mery, Meng Sun, and Shaoying Liu. Formal Methods and Software Engineering: 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings. 1st ed. 2024. Singapore: Springer, 2024. https://doi.org/10.1007/978-981-96-0617-7.

MLA (9th ed.) Citation

International Conference on Formal Engineering Methods Hiroshima, et al. Formal Methods and Software Engineering: 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings. 1st ed. 2024. Springer, 2024. https://doi.org/10.1007/978-981-96-0617-7.