Formal Methods and Software Engineering: 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings
by Ogata, Kazuhiro (Editor), and Mery, Dominique (Editor), and Sun, Meng (Editor)
Add this copy of Formal Methods and Software Engineering: 25th to cart. $70.44, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2025 by Springer.