Welcome & Opening Announcements TLA+ Conf 2024

Name: Welcome & Opening Announcements TLA+ Conf 2024
Uploaded: 2024-05-01T00:00:00.000Z
Duration: 402 s
Description: Video Welcome & Opening Announcements TLA+ Conf 2024