TLA Conf24 - Specification Driven Development With TLA+

Name: TLA Conf24 - Specification Driven Development With TLA+
Uploaded: 2024-05-05T00:00:00.000Z
Duration: 1507 s
Description: Video TLA Conf24 - Specification Driven Development With TLA+