01296nlm0 22003851i 450 9900092477904033219783540318996000924779FED01000924779(Aleph)000924779FED0100092477920100926d2005----km-y0itay50------baengDEdrnn-008mamaaModel Checking SoftwareRisorsa elettronica12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedingsedited by Patrice GodefroidBerlin ; HeidelbergSpringer2005Lecture Notes in Computer Science0302-97433639Documento elettronicoTestoFormato html, pdfGodefroid,PatriceITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11537328EB990009247790403321Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsProgramming Languages, Compilers, InterpretersSoftware engineeringSoftware EngineeringModel Checking Software771961UNINA