Software Engineering and Formal Methods: 23rd International Conference, SEFM 2025, Toledo, Spain, November 10–14, 2025, Proceedings (Lecture Notes in Computer Science, Band 16192) - Softcover

 
9783032104434: Software Engineering and Formal Methods: 23rd International Conference, SEFM 2025, Toledo, Spain, November 10–14, 2025, Proceedings (Lecture Notes in Computer Science, Band 16192)
Softcover
ISBN 10: 3032104432 ISBN 13: 9783032104434
Verlag: Springer, 2025

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2025
Sprache
Englisch
ISBN 10 
3032104432
ISBN 13 
9783032104434
Einband
Taschenbuch
Anzahl der Seiten
300
Herausgeber
Bianculli Domenico, Gómez-Martínez Elena
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland