cotalks.dev
Login
Marc Brooker
Videos
1 — Keynote Fifteen years of formal methods at AWS
TLA+ Conf 2024
