cotalks.dev
Orgs
Login
Finn Hackett
Videos
1 — Promises and Challenges in Bridging TLA+ Designs with Implementations
TLA+ Conf 2024
|
2024
Finn Hackett
