Areas – Software and its engineering

Software and its engineering   standard compliant  ACM 2012

Software creation and management
Sintesi di codice - Software creation and management - Verifica del software
Software organization and properties
Analisi statica - Quantitative Static Analysis - Verification of wireless networks protocols


Activities

Research facilities