01521nam2 2200397 450 99000340785020331620100607170339.0978-3-642-10372-8000340785USA01000340785(ALEPH)000340785USA0100034078520100604d2009----km-y0itay0103----baengDEa|||||||101yyFormal methods and software engineering11th international conference on formal engineering methods, ICFEM 2009Rio de Janeiro, brazil, december 9-12, 2009proceedingsKarin Breitman, Ana Cavalcanti (Eds.)Berlin [etc.]Springercopyr. 2009XIV, 758 p.ill.24 cmLecture notes in computer science58850010003149602001Lecture notes in computer scienceElaboratoriProgrammazioneAtti di congressiBNCFProgrammi per elaboratoriProgettazioneAtti di congressiBNCF004.01BREITMAN,KarinCAVALCANTI,AnaInternational conference on formal engineering methods, ICFEM 2009<11.;2009;Rio de Janeiro>607811ITAsalbcISBD990003407850203316001 LNCS/588539036/CBS00100335489BKSCIANGELA9020100604USA011218ANGELA9020100607USA011703Formal methods and software engineering1126149UNISA