Visualizing CHC Verification Conditions for Smart Contracts Auditing. - Marco Di Ianni; Fabio Fioravanti; Giulia Matricardi (CILC, 2024)