Name: NESTid Seminar: Preserving Hyperproperties when Using Concurrent Objects
Start: 2023-01-26T16:00:00+00:00
End: 2023-01-26T17:00:00+00:00
Location: No location set

NESTid Seminar: Preserving Hyperproperties when Using Concurrent Objects

Thursday 26 January 2023 - 16:00

Monday 23 January 2023
Tuesday 24 January 2023
Wednesday 25 January 2023
Thursday 26 January 2023