加载中…
2025-09-15
Proceedings 9th edition of Working Formal Methods Symposium
Andrei ArusoaieHoraţiu ChevalRadu 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.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本