Proceedings 9th edition of Working Formal Methods Symposium
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915495232405504 |
|---|---|
| author | Arusoaie, Andrei Cheval, Horaţiu Iosif, Radu |
| author_facet | Arusoaie, Andrei Cheval, Horaţiu Iosif, Radu |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2509_11877 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Proceedings 9th edition of Working Formal Methods Symposium Arusoaie, Andrei Cheval, Horaţiu Iosif, Radu Logic in Computer Science Programming Languages Software Engineering 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. |
| title | Proceedings 9th edition of Working Formal Methods Symposium |
| topic | Logic in Computer Science Programming Languages Software Engineering |
| url | https://arxiv.org/abs/2509.11877 |