01435nam--2200397---450 99000095419020331620180312154906.03-540-42807-00095419USA010095419(ALEPH)000095419USA01009541920020211d2001----km-y0ITAy0103-------baENGDEInteractive systemsdesign, specification, and verification8th International workshop, DSV-IS 2001Glasgow, Scotland, UK, June 13-15, 2001Chris Johnson (ed.)Berlin [etc.]Springer-Verlagcopyr. 2001XII, 217 p.ill.20 cmLecture notes in computer science22202001Lecture notes in computer science2220Interazione uomo-elaboratoreCongressi2001Programmazione di sistema (informatica)Congressi2001Analisi dei sistemi (Automazione)Congressi2001004.21Johnson,ChrisInternational workshop DSV-IS 2001 <8. ; 2001 ; Glasgow, UK>552545ITACBSISBD990000954190203316001 LNCS (2220)0027344 CBS00100110976BKSCIALANDI9020020211USA01112820020403USA011738PATRY9020040406USA011706Interactive systems973277UNISA