Loading
Cover of Lecture Notes in Computer Science, 15593
English Unordered Computer Science and Theory

Lecture Notes in Computer Science, 15593

Hossein Hojjat (editor), Georgiana Caltais (editor)

Georgiana Caltais (editor)

4.5 / 5

0 reviews

2025

Published

197 / x, 187

pages

46

views

This book constitutes the proceedings of the 11th IFIP WG 2.2 International Conference on Fundamentals of Software Engineering, FSEN 2025, held in Västerås, Sweden during April 7–8, 2025.The 11 full papers and 1 short paper included in this book were carefully reviewed and select

About this book

This book constitutes the proceedings of the 11th IFIP WG 2.2 International Conference on Fundamentals of Software Engineering, FSEN 2025, held in Västerås, Sweden during April 7–8, 2025.The 11 full papers and 1 short paper included in this book were carefully reviewed and selected from 30 submissions. They deal with all aspects of formal methods, with a strong emphasis on promoting their industrial applications and integrating them with practical engineering practices.

Ask this book

Your question is answered in the context of this title and author. Each answer uses 2 points.

Sign in to ask the book assistant.

Reader reviews

0 reviews · 4.5 average out of 5

No reviews yet

If you have read this book, help the next reader with your experience.

Write a review

Sign in to publish a review.

Reader questions and answers

Ask a focused question and learn from the community.

Sign in to ask or answer a question.

No questions yet

Be the first to ask a clear, useful question.

Related references that continue this learning path.