01525nam2-2200421li-450 99000020396020331620180312154649.03-540-57417-40020396USA010020396(ALEPH)000020396USA01002039620001109d1993----km-y0itay0103----baengGWAutomated and algorithmic debuggingfirst International workshop AADEBUG'93Linköping, Sweden, May 1993: proceedingsPeter A. Fritzson (ed.)Berlin [etc.]Springer-Verlagcopyr. 1993VIII, 367 p.ill.24 cmLecture notes in computer science74900100202642001Lecture notes in computer sciencealgoritmicongressi1993congressilinkoping1993elaboratori elettroniciprogrammazionecongressi199300512Svuluppo dei programmiFritzson,Peter A.International workshop AADEBUG'931.Linköping1993746198Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000203960203316001 LNCS (749)001594300100103059BKSCI1994100720001110USA011714ALANDI9020010130USA01091020020403USA011628PATRY9020040406USA011615Automated and algorithmic debugging1489176UNISA