GopherCon Europe 2024: Raghav Roy - Using Formal Reasoning to Build Concurrent Go Systems

2K views

GopherCon Europe

10 months ago

GopherCon Europe 2024: Raghav Roy - Using Formal Reasoning to Build Concurrent Go Systems

GopherCon Europe 2024: Raghav Roy - Using Formal Reasoning to Build Concurrent Go Systems