Proving What OTP Promises: GenServer in TLA+ - Arne Stoll & Annette Bieniusa | Code BEAM Europe

Learning Resources Talks
,
1

Proving What OTP Promises: GenServer in TLA+ - Arne Stoll & Annette Bieniusa | Code BEAM Europe 2025

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

1 Like