De Simone, Fabio (2015) Specifica e sintesi automatica di sistemi software: Una notazione in linguaggio z. [Laurea specialistica], Università di Bologna, Corso di Studio in Ingegneria informatica [LS-DM509]

Ria, Luigi (2015) Sviluppo e verifica di un framework basato su logica computazionale per la selezione dinamica di web services tramite informazioni. [Laurea specialistica], Università di Bologna, Corso di Studio in Ingegneria informatica [LS-DM509], Documento ad accesso riservato.

Salvaro, Mattia (2015) Virtual sensing technology applied to a swarm of autonomous robots. [Laurea specialistica], Università di Bologna, Corso di Studio in Ingegneria informatica [LS-DM509]