Università degli studi di Pisa Facoltà di Ingegneria
Corso di laurea in Ingegneria Informatica
Tesi di laurea
Progettazione ed implementazione
per un ambiente di sviluppo integrato
di uno strumento di analisi
di programmi Java concorrenti
Relatori
Prof. Cosimo Antonio Prete Prof. Marco Avvenuti
Candidato Salvatore Alfeo
Anno accademico 2002-2003