1 paper · 1 filter
Andrei Arusoaie, Horaţiu Cheval, Radu Iosif
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.