Sistemi formali per
           la specifica, l'analisi, la verifica, la sintesi e la trasformazione di sistemi software.

Università degli studi di Roma Tor Vergata

Dipartimento di Informatica, Sistemi e Produzione



redball.gif (904 byte)Modello B

redball.gif (904 byte)Composizione

redball.gif (904 byte)Pubblicazioni

redball.gif (904 byte)Risultati

redball.gif (904 byte)Slides della presentazione del Filone 9 al Workshop di Roma
   (Dicembre 1998)

redball.gif (904 byte)Relazione del Primo Anno di attività (01.03.1999)

redball.gif (904 byte)Relazione del Secondo Anno di attività (10.01.2000)


Save this page in: /home2/users/adp/public_html/MURST40-Levi-98/murstp40roma2.html

Suggestions to: adp@iasi.rm.cnr.it