01602nlm0 22004451i 450 9900092452704033219783540497035000924527FED01000924527(Aleph)000924527FED0100092452720100926d2006----km-y0itay50------baengDEdrnn-008mamaaFormal Approaches to Software Testing and Runtime VerificationRisorsa elettronicaFirst Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papersedited by Klaus Havelund, MBerlin ; HeidelbergSpringer2006Lecture Notes in Computer Science0302-97434262Documento elettronicoTestoFormato html, pdfHavelund,KlausNunez,ManuelRosu,GrigoreWolff,BurkhartITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11940197EB990009245270403321Computer scienceComputer ScienceInformation SystemsLogic designLogics and Meanings of ProgramsManagement of Computing and Information SystemsProgramming Languages, Compilers, InterpretersSoftware engineeringSoftware EngineeringFormal Approaches to Software Testing and Runtime Verification772491UNINA