ESC
Elixir
Events
Events
Speakers
Talks
Topics
Sign in
Register
GitHub
Events
Speakers
Talks
Topics
GitHub
Sign in
Register
Lambda Days 2024 — Speakers
MT
Maja Trela
Developer
Conference speaker.
Talks
(1)
Talk
19:00
WasmRef-Isabelle: how to formally verify a not-slow interpreter...
Maja Trela
Lambda Days 2024