=Paper=
{{Paper
|id=Vol-3962/paper16
|storemode=property
|title=Cross-chain Smart Contracts and dApps Verification by Static Analysis: Limits and Challenges
|pdfUrl=https://ceur-ws.org/Vol-3962/paper16.pdf
|volume=Vol-3962
|authors=Luca Olivieri,Aradhita Mukherjee,Nabendu Chaki,Agostino Cortesi
}}
==Cross-chain Smart Contracts and dApps Verification by Static Analysis: Limits and Challenges==
<pdf width="1500px">https://ceur-ws.org/Vol-3962/paper16.pdf</pdf>
<pre>
None
</pre>