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-Zitierstil (17. Ausg.)International Conference on Formal Engineering Methods Hiroshima, Kazuhiro Ogata, Dominique Mery, Meng Sun, und 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-Zitierstil (9. Ausg.)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.