Placeholder text
Software Engineering and Formal Methods
0 - Default Title
Description
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.
Product details
Binding:
Paperback
Number of Pages:
300
Release Date:
2025-11-12
Publication Date:
2025-11-12
Publisher:
Springer
Languages:
Original:
English
ISBN10:
3032104432
ISBN13:
9783032104434
GPSR Manufacturer Reference:
Weight:
458 g
Height:
155 cm
Width:
235 cm
Thickness:
17 cm
Currently sold out