Specifica e sintesi automatica di sistemi software: una notazione in linguaggio Z

@mastersthesis{zlang2015,
    author = {Desimone, Fabio},
    cycle = {LM},
    language = {it},
    month = mar,
    start = {2014-11-19},
    supervisor = {Denti, Enrico},
    title = {Specifica e sintesi automatica di sistemi software: una notazione in linguaggio Z},
    type = {Master's thesis},
    year = 2015
}