APICe » Theses » ZLang2015

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

Fabio Desimone


Enrico Denti (Supervisor)