01322nam--2200409---450-99000296778020331620070903125317.03-540-68977-5000296778USA01000296778(ALEPH)000296778USA0100029677820070903d2007----km-y0itay0103----baengDEa|||||||001yyVerification of object-oriented softwarethe keY ApproachBernhard Beckert...[et al.](Eds.)foreword by K. Rustan, M. LeinoBerlin [etc.]Springercopyr. 2007XXIX, 658 p.ill.24 cmLecture notes in artificial intelligenceAI Systems4334Lecture notes in computer science2001Lecture notes in artificial intelligenceAI Systems43342001001-------2001Intelligenza Artificiale006.3BECKERT,Bernhard598170RUSTAN,K.LEINO,M.ITCBSISBD990002967780203316006.3 LNAI 433434534/CBS006.300215543BKSCISENATORE9020070903USA011253Verification of object-oriented software1026574UNISA