£64.99

Formal Methods and Software Engineering

Name: Formal Methods and Software Engineering
Price: 64.99 GBP
Availability: InStock
ISBN: 9789819542130

26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10-13, 2025, Proceedings

Computer programming / software engineering Compilers and interpreters Software Engineering Applied computing Mathematical theory of computation Natural language and machine translation

Collection: Lecture Notes in Computer Science

Language: English

Published by: Springer

Published on: 10th November 2025

Format: LCP-protected ePub

ISBN: 9789819542130

Conference Details

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.

Content and Review Process

The 20 full papers presented were carefully reviewed and selected from 47 submissions.

Conference Focus

The conference focuses on a wide range of research areas, covering both theoretical foundations and practical applications of formal engineering methods.

Show more Show less