| VERIFICA E VALIDAZIONE DI SISTEMI INTELLIGENTI (10600494 ↗) | 3º - 2º | ITA | Informatica (33503) | Tecnologico |
| INGEGNERIA DEL SOFTWARE (1022301 ↗) | 3º - 1º | ITA | Informatica (33503) | Tecnologico |
| INGEGNERIA DEL SOFTWARE (1022301 ↗) | 3º - 1º | ITA | Informatica (33503) | Metodologico |
| VERIFICA E VALIDAZIONE DI SISTEMI INTELLIGENTI (10600494 ↗) | 3º - 2º | ITA | Informatica - erogato in modalità prevalentemente a distanza (33504) | Curriculum unico |
| AUTOMATIC VERIFICATION OF INTELLIGENT SYSTEMS (10600495 ↗) | 2º - 1º | ITA | Computer Science - Informatica (33508) | Curriculum unico |
| VERIFICA E VALIDAZIONE DI SISTEMI INTELLIGENTI (10600494 ↗) | 3º - 2º | ITA | Informatica (33503) | Tecnologico |
| AUTOMATIC VERIFICATION OF INTELLIGENT SYSTEMS (10600495 ↗) | 1º - 1º | ENG | Computer Science - Informatica (33508) | Curriculum unico |
| AUTOMATIC VERIFICATION OF INTELLIGENT SYSTEMS (10600495 ↗) | 2º - 1º | ITA | Computer Science - Informatica (33508) | Curriculum unico |
| AUTOMATIC VERIFICATION OF INTELLIGENT SYSTEMS (10600495 ↗) | 1º - 1º | ENG | Computer Science - Informatica (33508) | Curriculum unico |
| VERIFICA E VALIDAZIONE DI SISTEMI INTELLIGENTI (10600494 ↗) | 3º - 2º | ITA | Informatica - erogato in modalità prevalentemente a distanza (33504) | Curriculum unico |