01503nam 2200409 450 99000296531020331620070824115904.03-540-29797-9000296531USA01000296531(ALEPH)000296531USA0100029653120070824d2006----km-y0itay0103----baengDEa|||||||101yyFormal methods and software engineering7th International Conference on Formal Engineering Methods, ICFEM 2005Kung-Kiu Lau, Richard Banach(Eds.)Manchester, UK, November 1-4, 2005proceedingsBerlinSpringercopyr. 2006XIV, 494 p.ill.20 cmLecture notes in computer science37852001Lecture notes in computer science37852001001-------2001Elaboratori elettroniciProgrammazioneManchester2005CongressiSoftwareProgettazioneCongressiManchester2005004.01LAU,Kung-KiuBANACH,RichardInternational conference on formal engineering methods, ICFEM 2005Manchester>2005 ;<7. ;598044ITsalbcISBDCBSISBD990002965310203316001 LNCS 378532585/CBS00100112882BKSCISENATORE9020070824USA011159Formal methods and software engineering1026785UNISA