Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
American Psychological Association 6th edition

Formal Methods and Software Engineering : 25 th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings. [ca. 2024]. In K. Ogata, D. Mery, M. Sun, & S. Liu (Hrsg.), Lecture Notes in Computer Science (1 st ed. 2024) [Cd]. Singapore: Springer Nature Singapore. https://doi.org/10.1007/978-981-96-0617-7

ISO-690 (author-date, English)

OGATA, Kazuhiro, MERY, Dominique, SUN, Meng und LIU, Shaoying (Hrsg.). 1 st ed. 2024. Singapore: Springer Nature Singapore. ISBN 9789819606177.

Modern Language Association 9th edition

Ogata, K., D. Mery, M. Sun, und S. Liu, Herausgeber. „Formal Methods and Software Engineering : 25 th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings“. Lecture Notes in Computer Science, 1 st ed. 2024, cd, Springer Nature Singapore, 2024, https://doi.org/10.1007/978-981-96-0617-7.

Mohr Siebeck - Recht (Deutsch - Österreich)

: Formal Methods and Software Engineering : 25 th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings, 1 st ed. 2024. Aufl. Singapore 2024.

Emerald - Harvard

Ogata, K., Mery, D., Sun, M. und Liu, S. (Hrsg.). (2024), Formal Methods and Software Engineering : 25 th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings, Lecture Notes in Computer Science, 1 st ed. 2024., Bd. , Springer Nature Singapore, Singapore, verfügbar unter:https://doi.org/10.1007/978-981-96-0617-7.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.