1 Metodi formali per la progettazione di modelli di utente Paolo Bottoni [email protected] Pictorial Computing Laboratory Dipartimento di Informatica.