Software Engineering and Formal Methods: 23rd International Conference, SEFM 2025, Toledo, Spain, November 10–14, 2025, Proceedings (Lecture Notes in Computer Science #16192)
By: and
Sign Up Now!
Already a Member? Log In
You must be logged into Bookshare to access this title.
Learn about membership options,
or view our freely available titles.
- Synopsis
- This volume constitutes the proceedings of 23rd International Conference on Software Engineering and Formal Methods, SEFM 2025, held in Toledo, Spain, on November 10–14, 2025. The 13 full papers and 2 short papers included in this book were carefully reviewed and selected from 39 submissions. The proceedings also include 1 invited short paper. They were organized in topical sections as follows: security and resilience; formal specification and verification; software quality; and artificial intelligence and formal methods.
- Copyright:
- 2026
Book Details
- Book Quality:
- Publisher Quality
- ISBN-13:
- 9783032104441
- Related ISBNs:
- 9783032104434
- Publisher:
- Springer Nature Switzerland
- Date of Addition:
- 11/11/25
- Copyrighted By:
- The Editor
- Adult content:
- No
- Language:
- English
- Has Image Descriptions:
- No
- Categories:
- Nonfiction, Computers and Internet
- Submitted By:
- Bookshare Staff
- Usage Restrictions:
- This is a copyrighted book.
- Edited by:
- Domenico Bianculli
- Edited by:
- Elena Gómez-Martínez