01258nam2-2200361li-450-99000334727020331620091112113526.0978-3-642-05088-6000334727USA01000334727(ALEPH)000334727USA0100033472720091112d2009----km-y0itay50------ba20001109d1991999-km-y0itay0103----baengDE||||||||001yyFM 2009: formal methodssecond world congressEindhoven, The Netherlands, november 2-6, 2009proceedingsAna Cavalcanti...[et al.] (Eds.)Berlin[etc.]Springercopyr. 2009XVII, 820 p.24 cmLecture notes in computer science58500010003149602001Lecture notes in computer science58502001Elaborazione ElettronicaCongressiEindhoven2009005.74CAVALCANTI,AnaInternational symposium on formal methods<2. ;2009 ;Eindhoven>990003347270203316001 LNCS 585038950/CBS00100335420BKSCIRSIAV79020091112USA011135FM 2009: Formal Methods773761UNISA