Best Artifact Award at SCAM 2022

Prijs: Prize (including medals and awards)

Description

Best Artifact Award at SCAM 2022 for "Summary-Based Compositional Analysis for Soft Contract Verification"
Datum van toekenning12 okt. 2022
Mate van erkenningInternational
Toekennende organisatieIEEE Computer Society

Toegekend op evenement

Evenementstitel2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM)
LocatieLimassol, CyprusToon op kaart
Periode3 okt. 2022 → 4 okt. 2022

Gerelateerde inhoud