01459nam--2200385---450 99000094863020331620180312154730.03-540-42541-10094863USA010094863(ALEPH)000094863USA01009486320020206d2001----km-y0ITAy0103-------baENGDECorrect hardware design and verification methods11th IFIP WG 10.5 advanced research working conference, CHARME 2001Livingston, Scotland, UK, September 4-7, 2001proceedingsTiziana Margaria ... [et al.] (eds.)Berlin [etc.]Springer-Verlagcopyr. 2001XII, 482 p.ill.20 cmLecture notes in computer science21442001Lecture notes in computer science2144HardwareArchitetturaCongressi2001HardwareVerificaCongressi200162.139Margaria,TizianaIFIP WG 10.5 advanced research working conferenc CHARME <1. ; 2001 ; Livingston, Scotland, UK>552448ITACBSISBD990000948630203316001 LNCS (2144)0027199 CBS00100110933BKSCIALANDI9020020206USA01121120020403USA011737PATRY9020040406USA011705Correct hardware design and verification methods973993UNISA