01492nam2-2200397---450-99000316727020331620081029124529.0978-3-540-88193-3000316727USA01000316727(ALEPH)000316727USA0100031672720081029d2008----km-y0itay0103----baengDEa|||||||101yyFormal methods and software engineering10th International conference on formal engineering methods, ICFEM 2008Kitakyushu-City, Japan, October 27-31, 2008ProceedingsShaoying Liu, Tom Maibaum, Keijiro Araki (Eds.)Berlin [etc.]Springercopyr. 2008XI, 396 p.ill.24 cmLecture notes in computer science52562001Lecture notes in computer scienceElaboratori elettroniciProgrammazioneCongressiKitakyushu2008SoftwareProgettazioneCongressiKitakyushu2008004.01LIU,ShaoyingMAIBAUM,TomARAKI,KeijiroInternational conference on formal engineering methods, ICFEM 2008<10.;Kitakyushu ;2008;>602605ITAsalbcISBD990003167270203316001 LNCS 525637575/CBS00100215766BKSCICBAS1020081029USA011245Formal methods and software engineering1014409UNISA