TLA+ Conf - Towards Interactive Formal Specs

Name: TLA+ Conf - Towards Interactive Formal Specs
Uploaded: 2024-05-05T00:00:00.000Z
Duration: 912 s
Description: Video TLA+ Conf - Towards Interactive Formal Specs