Proceedings 9th edition of Working Formal Methods Symposium
Published: Sep 15, 2025
Last Updated: Sep 15, 2025
Authors:Andrei Arusoaie, Horaţiu Cheval, Radu Iosif
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.