01269nam2-2200373li-450-99000300005020331620071025132310.03-540-27882-6000300005USA01000300005(ALEPH)000300005USA0100030000520071025d2005----km-y0itay50------ba20001109d1991999-km-y0itay0103----baengDE||||||||001yyFM 2006: formal methodsInternational Symposium on Formal Methods EuropeNewcastle, UK, July 18-22, 2005proceedingsJohn Fitzgerald...[et al.](eds.)Berlin[etc.]Springer[c2005]XIV, 558 p.24 cmLecture notes in computer science35822001Lecture notes in computer science358220010012001Elaborazione ElettronicaCongressiHamilton2006005.74FITZGERALD,JohnInternational Symposium on Formal Methods<2005 ;Newcastle>990003000050203316001 LNCS 358232203/CBS00100112689BKSCISENATORE9020071025USA011323FM 2006: Formal Methods772051UNISA