Dipartimento di Matematica e informatica
- Role
- Professore associato
- Disciplinary scientific area
- Scienze matematiche e informatiche
- Scientific disciplinary sector
- INF/01 INFORMATICA
- gmpinna@unica.it
- Address
- via ospedale,72 09124 Cagliari
Formal Methods