Formally Based Tools for Safer Erlang - Péter Bereczky, Dániel Horpácsi | Code BEAM Europe

Name: Formally Based Tools for Safer Erlang - Péter Bereczky, Dániel Horpácsi | Code BEAM Europe 2025
Uploaded: 2026-08-15T13:00:03Z
Description: Formally Based Tools for Safer Erlang - Péter Bereczky, Dániel Horpácsi | Code BEAM Europe 2025 [Formally Based Tools for Safer Erlang - Péter Bereczky, Dániel Horpácsi | Code BEAM Europe 202...

CodeSync · August 15, 2026, 1:00pm

Formally Based Tools for Safer Erlang - Péter Bereczky, Dániel Horpácsi | Code BEAM Europe 2025

Comments welcome! View the code-sync tag for more Code Sync talks!