Up a level |
Signoretto, Mirko and Fummi, Franco (rel.) (2000) [BM Tesi I 0041]. - Generazione del test funzionale per descrizioni hardware-software basata su tecniche di giustificazione. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.