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