01433nam2-2200409li-450-99000312881020331620080926115403.0978-3-540-68235-6000312881USA01000312881(ALEPH)000312881USA0100031288120080716d2008----km-y0itay50------ba20001109d1991999-km-y0itay0103----baengDE||||||||001yyFM 2008: formal methods15th International Symposium on Formal MethodsTurku, Finland, May 2008proceedingsJorge Cuellar, Tom Maibaum, Kaisa Sere...[et al.](eds.)Berlin[etc.]Springercopyr. 2008XIII, 436 p.24 cmLecture notes in computer science50142001Lecture notes in computer science20010010003149602001Lecture notes in computer scienceElaborazione ElettronicaCongressiTurku2008005.74CUELLAR,JorgeMAIBAUM,TomSERE,KaisaInternational Symposium on Formal Methods<15. ;2008 ;Turku>990003128810203316001 LNCS 501436860/CBS00217439001BKSCICBAS1020080716USA010946ANGELA9020080926USA011154FM 2008: Formal Methods774325UNISA