cotalks.dev

Login

Marianne Bellotti

Videos

1 — Keynote: Formal Verification? No, Formal Reasoning!

Code BEAM America 2022 | 2022

Marianne Bellotti

© 2026 cotalks.devAbout Technologies Feedback