Thesis

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

— author

Fabio Desimone

Supervision

— supervisor

Enrico Denti

Sort

— cycle

second-cycle thesis

— status

completed thesis

— language

wit.gif

Dates

— activity started

19/11/2014

— degree date

17/03/2015

Files

PDF

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY