All talks
Talk 24:00

Modeling Systems with TLA+

Gig City Elixir 2019 Speaker Talks: Ben Marx - Modeling Systems with TLA+

Watch on YouTube