Volume: Vol-3733 CILC 2024 | Year: 2024

Paper: « short4 | short5 | short6 »

Visualizing CHC Verification Conditions for Smart Contracts Auditing