Dimitar Dimitrov

1 talk by Dimitar Dimitrov

• Formal Verification of Smart Contracts Made Easy (Devcon5)