ISBN 9789819606160 books & textbook
Formal Methods and Software Engineering: 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings (Lecture Notes in Computer Science)
Ogata, Kazuhiro Mery, Dominique Sun, Meng Liu, Shaoying
Springer /2024-11-29 Paperback / 424 Pages
isbn-10: 9819606160 / isbn-13: 9789819606160
