Title:
Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I
Author:
Platzer, André. editor. (orcid)0000-0001-7238-5710
ISBN:
9783031711626
Edition:
1st ed. 2025.
Physical Description:
XXII, 680 p. 166 illus., 113 illus. in color. online resource.
Series:
Lecture Notes in Computer Science, 14933
Abstract:
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. .
Subject Term:
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-3-031-71162-6Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 605095-1001 | ONLINE | Searching... | Searching... |