01368nam2-2200385---450-99000316420020331620081023102054.0978-3-540-69147-1000316420USA01000316420(ALEPH)000316420USA0100031642020081023d2008----km-y0itay50------baengDEa---||||001yyVerified software: theories, tools, experimentsSecond international conference, VSTTE 2008Toronto, Canada, October 6-9, 2008ProceedingsNatarajan Shankar, Jim Woodcock (Eds.)Berlin [etc.]Springercopyr. 2008XII, 262 p.ill.24 cmLecture notes in computer science52952001Lecture notes in computer science0010003149602001Lecture notes in computer scienceInformaticaCongressiToronto2008001SHANKAR,NatarajanWOODCOCK,JimInternational conference, VSTTE 2008<2.;2008;Toronto>602557ITAsalbcISBD990003164200203316001 LNCS 529537550/CBS00100217888BKSCICBAS1020081023USA011020Verified software: theories, tools, experiments1017532UNISA