Areas – Software and its engineering

  1. Home
  2. Research
  3. Research areas
  4. 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 areas

Research groups

PhD Programmes

Research facilities

Share