Proceedings 9th edition of Working Formal Methods Symposium
arXiv:2509.11877 · doi:10.4204/EPTCS.427
Abstract
This volume contains the proceedings of the 9th Working Formal Methods Symposium, which was held at the Alexandru Ioan Cuza University, IaÅi, Romania on September 17-19, 2025.