Jaroslav Bendik

3 talks by Jaroslav Bendik

• Tadeas Kucera, Jaroslav Bendik / DCxPrague
• DeFi Security 101 2023: Full Day, 14 July
• Testing Your Code on Arbitrary States (aka Formal Verification)