Vol-3961⫷ Vol-3962 ⫸Vol-3963
urn:nbn:de:0074-3962-0


Vol-3962/paper15⫷Vol-3962/paper16⫸Vol-3962/paper17
Luca OlivieriAradhita MukherjeeNabendu ChakiAgostino Cortesi

Cross-chain Smart Contracts and dApps Verification by Static Analysis: Limits and Challenges