Placeholder text
Formal Methods
0 - Default Title
Description
The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The contributions were organized in topical sections as follows:
Part I: Invited papers; fundamentals of formal verification; foundations; learn and repair; programming languages.- logic and automata;
Part II: Tools and case studies; embedded systems track; industry day track; tutorial papers.
Product details
Binding:
Paperback
Edition:
1
Number of Pages:
704
Release Date:
2024-09-11
Publication Date:
2024-09-11
Publisher:
Springer
Languages:
Original:
English
ISBN10:
3031711610
ISBN13:
9783031711619
GPSR Manufacturer Reference:
Weight:
1048 g
Height:
155 cm
Width:
235 cm
Thickness:
38 cm
Currently sold out