01766nam2-2200445li-450 99000020928020331620180312154709.03-540-63533-50020928USA010020928(ALEPH)000020928USA0100209282001998051997-------y0itay0103----baengGWIndustrial applications and strenghtened foundations of formal methods4th International symposium of formal methods Europe: Graz, Austria, September 15-19, 1997proceedingsJohn Fitzgerald...[et al.] (eds.)FME'97BerlinoSpringer-Verlagcopyr. 1997XIII, 684 p.ill.23 cmLecture notes in computer science131300100202642001Lecture notes in computer scienceCongressiGraz1997Elaboratori elettroniciImpiego nell'industriaCongressi1997004Elab. dei dati Scienza degli elab. InformaticaFitzgerald,JohnInternational symposium of formal methods Europe4.Graz1997746227Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000209280203316001 LNCS (1313)002137500100104065BKSCI1998052120001110USA011714ALANDI9020010202USA01162920020403USA011629PAOLA9020040122USA011338PAOLA9020040122USA011338PAOLA9020040122USA011339PATRY9020040406USA011615Industrial applications and strenghtened foundations of formal methods1489222UNISA