Document is current
Any future updates will be listed below
-
Authors
Negrini, Luca
Arceri, Vincenzo
Olivieri, Luca
Cortesi, Agostino
Ferrara, Pietro
- License Information
-
More Information
Chapter History
First Online: 5 September 2024
Conference Information
Conference Acronym: FMTea
Conference Name: Formal Methods Teaching Workshop
Conference City: Milan
Conference Country: Italy
Conference Year: 2024
Conference Start Date: 10 September 2024
Conference End Date: 10 September 2024
Conference Number: 6
Conference ID: tfm2024
Conference URL: https://www.fm24.polimi.it/?page_id=423
