01605nam--2200409---450-99000189323020331620040802103914.03-540-20527-6000189323USA01000189323(ALEPH)000189323USA0100018932320040802d2003----km-y0itay0103----baengDEa|||||||001yyFormal methods at the crossroadsfrom panacea to foundational support10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations UniversityLisbon, Portugal, March 18-20, 2002revised papersBernhard K. Aichernig, Tom Maibaum (Eds.)Berlin [etc.]Springercopyr. 2003XIV, 453 p.ill.24 cm.Lecture notes in computer science27572001Lecture notes in computer science27572001001-------2001Ingegneria del softwareCongressi005.1AICHERNIG,Bernhard K.MAIBAUM,TomAnniversary colloquium of the United Nations University and the International Institute for software technology <10. ; 2002 ; Lisbon, Portugal>564945International Institute for Software TechnologyITsalbcISBD990001893230203316001 LNCS 27570029973/CBS00100114224BKSCIRIVELLI9020040802USA011039Formal methods at the crossroads954141UNISA