Self Applied proof verification

D'AGOSTINO, Giovanna

OMODEO E

SCHWARTZ J

TOMESCU A.