Dipartimento di Matematica e informatica
- Ruolo
- Professore associato
- Area scientifico disciplinare
- Scienze matematiche e informatiche
- Settore scientifico disciplinare
- INF/01 INFORMATICA
- gmpinna@unica.it
- Indirizzo
- via ospedale,72 09124 Cagliari
Formal Methods