Stefania Gnesi

Fruitore

Stefania Gnesi

Anno

2007

Istituto Cnr

Istituto di Scienza e Tecnologie dell'Informazione - ISTI - Sede Pisa

Dipartimento Cnr

ICT

Università o istituzione di ricerca estera

Department of Computer Science - University of Leincester - UK

Titolo del programma

LOGICHE PER LA SPECIFICA ED ANALISI DI APPLICAZIONI ORIENTATE A SERVIZI

Area tematica

Ingegneria, ICT e tecnologie per l'energia e i trasporti

Final report

c-documents-and-settings-roberta-stella-desktop-rel-fin-2007-dip-9-rel-fin-gnesi.doc

Ultimo aggiornamento: 08/07/2025