01463nlm0 22004331i 450 9900092436804033219783540374114000924368FED01000924368(Aleph)000924368FED0100092436820100926d2006----km-y0itay50------baengDEdrnn-008mamaaComputer Aided VerificationRisorsa elettronica18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedingsedited by Thomas Ball, Robert B. JonesBerlin ; HeidelbergSpringer2006Lecture Notes in Computer Science0302-97434144Documento elettronicoTestoFormato html, pdfBall,ThomasJones,Robert B.ITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11817963EB990009243680403321Artificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceLogic designLogic DesignLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesSoftware engineeringSoftware EngineeringComputer Aided Verification772228UNINA