Vol-3732⫷ Vol-3733 ⫸Vol-3734
urn:nbn:de:0074-3733-0


Vol-3733/short4⫷Vol-3733/short5⫸Vol-3733/short6
Marco Di IanniFabio FioravantiGiulia Matricardi

Visualizing CHC Verification Conditions for Smart Contracts Auditing