UID:
almahu_9949880569902882
Format:
1 online resource (XXII, 680 p. 166 illus., 113 illus. in color.)
Edition:
1st ed. 2025.
ISBN:
9783031711626
,
3031711629
Series Statement:
Lecture Notes in Computer Science, 14933
Content:
This open access book constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. .
Additional Edition:
ISBN 9783031711619
Additional Edition:
ISBN 3031711610
Language:
English
DOI:
10.1007/978-3-031-71162-6
Bookmarklink