Proceedings 9th edition of Working Formal Methods Symposium
Andrei Arusoaie, Horaţiu Cheval, Radu Iosif
Published: 2025/9/15
Abstract
This volume contains the proceedings of the 9th Working Formal Methods Symposium, which was held at the Alexandru Ioan Cuza University, Ia\c{s}i, Romania on September 17-19, 2025.