01588nlm0 22004571i 450 9900092490304033219783540317142000924903FED01000924903(Aleph)000924903FED0100092490320100926d2005----km-y0itay50------baengDEdrnn-008mamaaFM 2005: Formal MethodsRisorsa elettronicaInternational Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedingsedited by John Fitzgerald, Ian J. Hayes, Andrzej TarleckiBerlin ; HeidelbergSpringer2005Lecture Notes in Computer Science0302-97433582Documento elettronicoTestoFormato html, pdfFitzgerald,JohnHayes,Ian J.Tarlecki,AndrzejITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/b27882EB990009249030403321Computer scienceComputer ScienceInformation SystemsLogic designLogics and Meanings of ProgramsManagement of Computing and Information SystemsMathematical Logic and Formal LanguagesProgramming Languages, Compilers, InterpretersProgramming TechniquesSoftware engineeringSoftware EngineeringFM 2005: Formal Methods772263UNINA