01478nlm0 22004331i 450 9900092556104033219783540789178000925561FED01000925561(Aleph)000925561FED0100092556120100926d2008----km-y0itay50------baengDEdrnn-008mamaaFormal Methods and TestingRisorsa elettronicaAn Outcome of the FORTEST Network, Revised Selected Papersedited by Robert M. Hierons, Jonathan P. Bowen, Mark HarmanBerlin ; HeidelbergSpringer2008Lecture Notes in Computer Science0302-97434949Documento elettronicoTestoFormato html, pdfBowen,Jonathan P.Harman,MarkHierons,Robert M.ITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-78917-8EB990009255610403321Computer scienceComputer ScienceInformation SystemsLogic designLogics and Meanings of ProgramsManagement of Computing and Information SystemsProgramming Languages, Compilers, InterpretersSoftware engineeringSoftware EngineeringFormal Methods and Testing774433UNINA