Model checking (12 mag)
Aggregazione dei criteri
PDF
Per visualizzare il file, fai click su questo link: model_checking.pdf