01343nam2-2200409---450-99000312877020331620080926115631.0978-3-540-78916-1000312877USA01000312877(ALEPH)000312877USA0100031287720080715d2008----km-y0itay50------baengDEa---||||001yyFormal methods and testingan outcome of the FORTEST Networkrevised selected papersRobert M. Hierons, Jonathan P. Bowen, Mark Harman (eds.)Berlin [etc.]Springercopyr. 2008XI, 366 p.ill.24 cmLecture notes in computer science49492001Lecture notes in computer science0010003149602001Lecture notes in computer scienceInformaticaCongressi004HIERONS,Robert M.BOWEN,Jonathan P.HARMAN,MarkFortest Network<2008>.601787ITsalbcISBD990003128770203316001 LNCS 494936747/CBS00100217350BKSCICBAS1020080715USA011700ANGELA9020080926USA011156Formal methods and testing1017119UNISA