Studente CIAVARRO, CRISTINA
Facoltà/Dipartimento DIPARTIMENTO DI INGEGNERIA E SCIENZE DELL’INFORMAZIONE E MATEMATICA
Corso di studio INFORMATICA
Anno Accademico 2018
Titolo italiano Studio e Applicazione dei Metodi Formali nell'Ingegneria del Software
Titolo inglese Study and Application of Formal Methods in Software Engineering
Relatore NESI, MONICA
Appare nelle tipologie: Laurea Magistrale
File in questo prodotto:
File Dimensione Formato  
Tesi.pdf   Internal network 7.43 MB Adobe PDF   Contatta l'autore

I documenti in UNITESI sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Il download dei file è consentito soltanto per chi si collega da rete interna o da proxy.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/20.500.12319/1095