加载中…
2023-09-22
Proceedings 7th Symposium on Working Formal Methods
Horaţiu ChevalLaurenţiu LeuşteanAndrei Sipoş
文献摘要
This volume contains the proceedings of the 7th Working Formal Methods Symposium, which was held at the University of Bucharest, September 21-22, 2023.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本