Blockchain Workshop Bucharest March 2023 - Runtime Verification/ILDS - Andrei Vacaru
Channel: Runtime Verification
Date: 2023-03-31

RV/ILDS Blockchain Workshop
Andrei Văcaru - RV: Smart contract tooling using KEVM

Event program details: https://events.ilds.ro/blockchain2023/program/

https://twitter.com/rv_inc
https://runtimeverification.com/
-
https://ilds.ro/