Up a level |
Facciotti, Giancarlo and Fummi, Franco (rel.) and Giacobazzi, Roberto (rel.) (2001) [BM Tesi I 0034]. - Applicazione di teorie di interpratazione astratta e analisi statica su codici HDL comportamentali. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.