01543nam--2200409---45--9900004995502033163-540-42123-80049955USA010049955(ALEPH)000049955USA01004995520010611d2001----km-y0ITAy0103-------baENGDEReliable software technologies - Ada-Europe 20016th Ada-Europe international conference on reliable software technologiesLeuven, Belgium, May 14-18, 2001proceedingsDirk Craeynest ... [et al.] (eds.)Berlin [etc.]Springer-Verlagcopyr. 2001XV, 404 p.ill.20 cmLecture notes in computer science20432001Lecture notes in computer science2043SoftwareCongressi2001Linguaggio AdaCongressi2001CongressiLeuven2001005.1Craeynest,DirkAda-Europe International conference on reliable software technologies <6. ; 2001 ; Leuven, Belgio>545738ITACBSISBD990000499550203316001 LNCS (2043)0026425 CBS00100104801BKSCIALANDI9020010611USA011033ALANDI9020010628USA011308ALANDI9020010828USA01111520020403USA011658PATRY9020040406USA011635Reliable software technologies - Ada-Europe 2001887547UNISA