Differential Cost Analysis with Infer and Possible Extensions for Concrete Cost Analysis

Đorđe Žikelić,Pauline Bolignano,Bor-Yuh Evan Chang

Appearing at Infer Practitioners