Specifica e sintesi automatica di sistemi software: una notazione in linguaggio Z
Thesis
— thesis student
supervision
— supervisors
sort
— cycle
second-cycle thesis
— status
completed thesis
— language
dates
— activity started
19/11/2014
— degree date
17/03/2015
files