01438nam2-2200397li-450 99000020960020331620180312154849.03-540-64608-60020960USA010020960(ALEPH)000020960USA01002096020001109d1998----km-y0itay0103----baengGWComputer aided verification10th international conference, CAV'98 Vancouver, BC, Canada, June 28 - July 2, 1998proceedingsAlan J. Hu...[et al.] (eds.)Berlin [etc.]Springer-Verlagcopyr.1998IX, 552 p.ill24 cmLecture notes in computer science142700100202642001Lecture notes in computer sciencecongressivancouver bc1998elaboratori elettroniciprogrammazionecongressi19980051Programmazione. Tecnica di sviluppo dei programmiHu,Alan J.International conference CAV'9810.Voncouver1998754236Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000209600203316001 LNCS (1427)0022606BKSCI1998122820001110USA01171420020403USA011629PATRY9020040406USA011615Computer aided verification1517609UNISA