Venue
The workshop will take place on 2024-09-09, co-located with the 26th International Symposium on Formal Methods (FM 2024) in Milan, Italy. FM 2024 will be held at the Leonardo Campus of Politecnico di Milano and the workshop is in room 3.1.5.
The workshop will take place on 2024-09-09, co-located with the 26th International Symposium on Formal Methods (FM 2024) in Milan, Italy. FM 2024 will be held at the Leonardo Campus of Politecnico di Milano and the workshop is in room 3.1.5.