01271nam2-2200373li-450-99000297888020331620070928101715.03-540-37215-6000297888USA01000297888(ALEPH)000297888USA0100029788820070928d2006----km-y0itay50------ba20001109d1991999-km-y0itay0103----baengDE||||||||001yyFM 2006: formal methods14th International Symposium on Formal MethodsHamilton, Canada, August 21-27, 2006proceedingsJayadev Misra...[et al.](eds.)Berlin[etc.]Springerc2006XV, 620 p.24 cmLecture notes in computer science40852001Lecture notes in computer science408520010012001Elaborazione ElettronicaCongressiHamilton2006005.74MISRA,JayadevInternational Symposium on Formal Methods<14. ;2006 ;Hamilton>990002978880203316001 LNCS 408534070/CBS00215633001BKSCISENATORE9020070928USA011017FM 2006: Formal Methods772051UNISA