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