Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 2 from your keywords: author=PRADELLA, Matteo
cover
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, Septembe…
Comment Share
Platzer, AndréROZIER, Kristin YvonnePRADELLA, Matteo

The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. 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 pape…

Edition
1
ISBN/ISSN
9783031711626
Collation
XXII, 680
Series Title
-
Call Number
-
cover
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, Septembe…
Comment Share
Platzer, AndréROZIER, Kristin YvonnePRADELLA, Matteo

The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. 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…

Edition
1
ISBN/ISSN
9783031711770
Collation
XXII, 652
Series Title
-
Call Number
-