Mini-corso introduttivo al modeling - VERONA
An hands-on tutorial on LP and LPI modeling

Materiale