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.
Availability can change throughout the month based on the library's budget. You can still place a hold on the title, and your hold will be automatically filled as soon as the title is available again.
The OverDrive Read format of this ebook has professional narration that plays while you read in your browser. Learn more here.
Your session has expired. Please sign in again so you can continue to borrow titles and access your Loans, Wish list, and Holds pages.
If you're still having trouble, follow these steps to sign in.
Add a library card to your account to borrow titles, place holds, and add titles to your wish list.
Have a card? Add it now to start borrowing from the collection.
The library card you previously added can't be used to complete this action. Please add your card again, or add a different card. If you receive an error message, please contact your library for help.