|
|
|||
|
||||
OverviewThis 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. Full Product DetailsAuthor: Hossein Hojjat , Georgiana CaltaisPublisher: Springer International Publishing AG Imprint: Springer International Publishing AG Volume: 15593 ISBN: 9783031870538ISBN 10: 3031870530 Pages: 187 Publication Date: 21 March 2025 Audience: Professional and scholarly , College/higher education , Professional & Vocational , Postgraduate, Research & Scholarly Format: Paperback Publisher's Status: Active Availability: Manufactured on demand We will order this item for you from a manufactured on demand supplier. Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |
||||