01483nam2-2200409li-450-9900002046802033163-540-56778-X0020468USA010020468(ALEPH)000020468USA01002046820001109d1991993-km-y0itay0103----baengGWCorrect hardware design and verification methodsIFIP WG10.2 advanced research working conference CHARME'93Arles, Frances, May 24-26, 1993proceedingsGeorge J. Milne (ed.)Berlin [etc.]Springer-Verlagcopyr. 1993VI, 269 p.ill.24 cmLecture notes in computer science683altro genere00100202642001Lecture notes in computer sciencecongressiarles1993hardwarearchitetturacongressi1993hardwareverificacongressi199362139Elaboratori. [Precedent. 621.38195]Milne,George J.Advanced research conference CHARME'93Arles1993Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000204680203316001 LNCS (683 )001529500100102929BKSCI1994120220001110USA011714ALANDI9020010129USA01155020020403USA011628PATRY9020040406USA011615UNISA