01477nlm0 22004211i 450 9900092421704033219783540344551000924217FED01000924217(Aleph)000924217FED0100092421720100926d2006----km-y0itay50------baengDEdrnn-008mamaaFormal Approaches to Software TestingRisorsa elettronica5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papersedited by Wolfgang Grieskamp, Carsten WeiseBerlin ; HeidelbergSpringer2006Lecture Notes in Computer Science0302-97433997Documento elettronicoTestoFormato html, pdfGrieskamp,WolfgangWeise,CarstenITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11759744EB990009242170403321Computer scienceComputer ScienceInformation SystemsLogic designLogics and Meanings of ProgramsManagement of Computing and Information SystemsProgramming Languages, Compilers, InterpretersSoftware engineeringSoftware EngineeringFormal Approaches to Software Testing772199UNINA