01479nam--2200409---450-99000307239020331620080418120121.03-540-47460-9000307239USA01000307239(ALEPH)000307239USA0100030723920080229d2006----km-y0itay0103----baengDEa|||||||101yyFormal methods and software engineering8th International Conference on Formal Engineering Methods, ICFEM 2006Macao, China, November 2006proceedingsZhiming Liu, Jifeng He (Eds.)Berlin [etc.]Springercopyr. 2006XII, 778 p.ill.24 cmLecture notes in computer science42602001Lecture notes in computer science42602001Elaboratori elettroniciProgrammazioneCongressiMacao2006SoftwareProgettazioneCongressiMacao2006004.01LIU,ZhimingHE,JifengInternational conference on formal engineering methods, ICFEM 2006<8;2006;Macao>600395ITAsalbcISBD990003072390203316001 LNCS 426034361/CBS00100216959BKSCIANGELA9020080229USA011030ANGELA9020080418USA011201Formal methods and software engineering1023534UNISA