Scholarlink

<p>This volume LNCS <span class="mx-text mx-name-text_SeriesVolumeDetails2">16229</span> constitutes the refereed proceedings of 26th International Conference on <span class="mx-text mx-name-textPageHeader_Title font-weight-bold">Formal Methods and Software Engineering</span>, ICFEM 2025, in Hangzhou, China, during November 10–13, 2025.</p><p>The 20 full papers presented were carefully reviewed and selected from 47 submissions. The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal engineering methods.</p>

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Formal Methods and Software Engineering

  • 会议论文集

  • 发表日期：

    2026年

查看全文

摘要

This volume LNCS 16229 constitutes the refereed proceedings of 26th International Conference on Formal Methods and Software Engineering, ICFEM 2025, in Hangzhou, China, during November 10–13, 2025.

The 20 full papers presented were carefully reviewed and selected from 47 submissions. The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal engineering methods.