01415nam2-2200409---450-99000311420020331620080926112019.0978-3-540-79123-2000311420USA01000311420(ALEPH)000311420USA0100031142020080604d2008----km-y0itay50------baengDEa---||||001yyTests and proofssecond international conference, TAP 2008Prato, Italy, April 9-11, 2008proceedingsBernhard Beckert, Reiner Hahnle (Eds.)Berlin [etc.]Springercopyr. 2008X, 191 p.ill.24 cmLecture notes in computer science49662001Lecture notes in computer science0010003149602001Lecture notes in computer scienceIngegneria del softwareCongressiPrato2008Elaborazione datiCongressiPrato2008005.14BECKERT,BernhardHAHNLE,ReinerInternational conference, TAP 2008<2.;2008;Prato>601536ITAsalbcISBD990003114200203316001 LNCS 496636738/CBS00100217353BKSCICBAS1020080604USA011014ANGELA9020080926USA011120Tests and proofs1020347UNISA