01472nam2-2200409li-450 99000020832020331620180312154905.03-540-66202-20020832USA010020832(ALEPH)000020832USA01002083220001109d1999----km-y0itay0103----baengGWComputer aided verification11th International conference, CAV' 99Trento, Italy, July 6-10, 1999proceedingsNicolas Halbwachs ...[et al.] (eds.)Berlin: Springer-Verlag1999XII, 503 p.ill.23 cmLecture notes in computer science163300100202642001Lecture notes in computer sciencecongressitrento1999elaboratori elettroniciprogrammazionecongressi1999hardwareverificacongressi19990051Programmazione. Tecnica di sviluppo dei programmiHalbwachs,NicolasInternational conference CAV' 9911.Trento1999754783Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000208320203316001 LNCS(1633)0023802BKSCI1999011920001110USA01171420020403USA011628PATRY9020040406USA011615Computer aided verification1518993UNISA