cotalks.dev
Login
Marianne Bellotti
Videos
1 — Keynote: Formal Verification? No, Formal Reasoning!
Code BEAM America 2022
