Up a level |
Peroni, Alessandro and Fummi, Franco (rel.) and Dovier, Agostino (correl.) (2000) [BM Tesi I 0045]. - Il test funzionale per sistemi digitali basato su programmazione logica con vincoli. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.