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