01418nam--2200409---450-99000307825020331620080423133609.0978-3-540-73769-8000307825USA01000307825(ALEPH)000307825USA0100030782520080311d2007----km-y0itay50------baengDEa---||||001yyTests and proofsFirst international conference, TAP 2007Zurich, Switzerland, February 12-13, 2007Revised papersYuri Gureevich, Bertrand Meyer (Eds.)Berlin [etc.]Springercopyr. 2007VIII, 216 p.ill.24 cmLecture notes in computer science44542001Lecture notes in computer science4454Ingegneria del softwareCongressiZurich2007Elaborazione datiCongressiZurih2007005.14GUREVICH,YuriMEYER,BertrandInternational conference, TAP 2007<1.;2007;Zurich>600637ITAsalbcISBD990003078250203316001 LNCS 445435225/CBS00100224677BKSCIANGELA9020080311USA010914ANGELA9020080311USA010944ANGELA9020080423USA011336Tests and proofs1023815UNISA