Up a level |
Azzoni, Paolo and Fummi, Franco (rel.) and Pravadelli, Graziano (correl.) (2001) [BM Tesi I 0018]. - Tecniche semiformali di verifica per il test funzionale di dispositivi hardware. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.