Preface / Geist, Daniel; Tronci, Enrico. - STAMPA. - 2860:(2003), pp. V-VI. (Intervento presentato al convegno 12th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2003 tenutosi a ita nel 2003).
File allegati a questo prodotto
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.