第十届工作形式方法研讨会论文集
Proceedings Tenth Symposium on Working Formal Methods
浏览论文内容
中文总结 AI 辅助
本文介绍了第十届工作形式方法研讨会（FROM 2026）的举办信息，包括时间地点、组织方、同期会议及收录的14篇论文。
中文摘要 AI 辅助
第十届工作形式方法研讨会（FROM 2026）于2026年9月15日至17日在罗马尼亚蒂米什瓦拉举行。该会议由西蒂米什瓦拉大学信息学学院、e-Austria研究所和逻辑与数据科学研究所（ILDS）联合组织。本次会议与第28届符号与数值算法科学计算国际研讨会（SYNASC 2026）同期举办。本卷收录了程序委员会接受发表的14篇论文的全文。
英文摘要
The 10th Working Formal Methods Symposium (FROM 2026) was held in Timişoara, Romania on September 15-17, 2026. It was organized jointly by the Faculty of Informatics of West University of Timişoara, the e-Austria institute, and the Institute for Logic and Data Science (ILDS). This event was co-located with the 28th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2026). This volume contains the texts of the 14 papers accepted by the Program Committee for presentation.
