Proceedings 9th edition of Working Formal Methods Symposium
Logic in Computer Science
2025-09-16 v1 Programming Languages
Software Engineering
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.
Keywords
Cite
@article{arxiv.2509.11877,
title = {Proceedings 9th edition of Working Formal Methods Symposium},
author = {Andrei Arusoaie and Horaţiu Cheval and Radu Iosif},
journal= {arXiv preprint arXiv:2509.11877},
year = {2025}
}