Università degli Studi di Padova

Static program analysis, abstract interpretation