Up a level |
Sturla, Simona and Fummi, Franco (rel.) and Pravadelli, Graziano (correl.) (2003) [BM Tesi I 0159]. - Verifica funzionale come supporto all'analisi di completezza di un insieme di proprietà. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.