01409nam2-2200397---450-99000314064020331620080926165035.0978-3-540-69147-1000314064USA01000314064(ALEPH)000314064USA0100031406420080908d2008----km-y0itay50------baengDEa---||||001yyVerified software: theories, tools, experimentsFirst IFIP TC 2/WG 2.3 conference, VSTTE 2005Zurich, Switzerland, october 10-13, 2005Bertrand Meyer, Jim Woodcock (Eds.)Berlin [etc.]Springercopyr. 2008XXIII, 546 p.ill.24 cmLecture notes in computer science41712001Lecture notes in computer science0010003149602001Lecture notes in computer scienceInformaticaCongressiZurich2005001MEYER,BertrandWOODCOCK,JimIFIP TC 2/WG 2.3 conference, VSTTE 2005<1.;2005;Zurich>602008ITsalbcISBD990003140640203316001 LNCS 417137253/CBS00100217602BKSCICBAS1020080908USA010906ANGELA9020080926USA011650Verified software: theories, tools, experiments1016407UNISA