01467nlm0 22004331i 450 9900092521804033219783540733683000925218FED01000925218(Aleph)000925218FED0100092521820100926d2007----km-y0itay50------baengDEdrnn-008mamaaComputer Aided VerificationRisorsa elettronica19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedingsedited by Werner Damm, Holger HermannsBerlin ; HeidelbergSpringer2007Lecture Notes in Computer Science0302-97434590Documento elettronicoTestoFormato html, pdfDamm,WernerHermanns,HolgerITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-73368-3EB990009252180403321Artificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceLogic designLogic DesignLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesSoftware engineeringSoftware EngineeringComputer Aided Verification772228UNINA