Software Engineering and Formal Methods: 23rd International Conference, SEFM 2025, Toledo, Spain, November 10-14, 2025, Proceedings
Compare buying options
One live offer. The cheapest is new.Product Description
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
Set Price Drop
Get an alert as soon as it’s on sale.
Alert set
We’ll let you know when any store drops to your price or lower.
Video reviews
Reviews of this product on YouTube.Just For You
Stores we recommend, with today’s cash back rates.
Activate & Shop
Activate & Shop
Activate & Shop
Activate & Shop
Activate & Shop
Activate & Shop
Activate & Shop
Activate & Shop
Activate & Shop
Activate & Shop
Activate & Shop
Activate & Shop