cotalks.dev

Reverse Engineering with TLA+

(link)
Speakers: Calvin Loncaric
Event: TLA+ Conf 2024 | 2024
Topics: #backend
Channel: Markus Kuppe
note