01134nam2-2200337li-450 99000019361020331620180312154720.03-540-66588-90019361USA010019361(ALEPH)000019361USA01001936120001109d1999----km-y0itay0103----baengGWFM'99 - formal methodsVol 2Copyr. 1999XVIII, 1875 p00100193622001FM'99 - formal methodsWorld congress on formal methods in the development of computing systemsToulouse, France, September 20-24, 1999proceedingsJeannette M. Wing ... [et al.] (eds.)Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000193610203316001 LNCS (1709)002405100100104300BKSCI1999010920001110USA011713ALANDI9020010209USA01174920020403USA011627PATRY9020040406USA011614FM'99 - formal methods1501849UNISA