APA ציטוט

SpringerLink (Online service), 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 Nature Singapore : Imprint: Springer. https://doi.org/10.1007/978-981-96-0617-7

Chicago Style (17th ed.) Citation

SpringerLink (Online service), 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 Nature Singapore : Imprint: Springer, 2024. https://doi.org/10.1007/978-981-96-0617-7.

ציטוט MLA

SpringerLink (Online service), 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 Nature Singapore : Imprint: Springer, 2024. https://doi.org/10.1007/978-981-96-0617-7.