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


Tags:

Thesis

— thesis student

supervision

— supervisors

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–2023 APICe@DISI – PRIVACY