Best Artifact Award at SCAM 2022

Prize: Prize (including medals and awards)

Description

Best Artifact Award at SCAM 2022 for "Summary-Based Compositional Analysis for Soft Contract Verification"
Degree of recognitionInternational
Granting OrganisationsIEEE Computer Society

Awarded at event

Event title2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM)
LocationLimassol, Cyprus
Period3 Oct 2022 → 4 Oct 2022