An Innovative Approach to Software Production and Verification March 04th, 2025 – University of Eastern Piedmont – Novara, Italy Last tuesday, the Midterm Workshop of the

An Innovative Approach to Software Production and Verification March 04, 2025 – Università del Piemonte OrientaleVia Ettore Perrone, 18 – Novara, Italy GALICIA is pleased to