001472413 000__ 02593nam\\22005897i\4500
001472413 001__ 1472413
001472413 003__ OCoLC
001472413 005__ 20230908003410.0
001472413 006__ m\\\\\o\\d\\\\\\\\
001472413 007__ cr\un\nnnunnun
001472413 008__ 230718s2023\\\\sz\a\\\\o\\\\\101\0\eng\d
001472413 020__ $$a9783031377068$$q(electronic bk.)
001472413 020__ $$a3031377060$$q(electronic bk.)
001472413 020__ $$z9783031377051
001472413 0247_ $$a10.1007/978-3-031-37706-8$$2doi
001472413 035__ $$aSP(OCoLC)1390710955
001472413 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE
001472413 049__ $$aISEA
001472413 050_4 $$aQA76.758
001472413 08204 $$a005.1/4$$223/eng/20230718
001472413 1112_ $$aCAV (Conference)$$n(35th :$$d2023 :$$cParis, France)
001472413 24510 $$aComputer aided cerification :$$b35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings.$$nPart I /$$cConstantin Enea, Akash Lal, editors.
001472413 2463_ $$aCAV 2023
001472413 264_1 $$aCham, Switzerland :$$bSpringer,$$c2023.
001472413 300__ $$a1 online resource (xxix, 488 pages) :$$billustrations (some color).
001472413 336__ $$atext$$btxt$$2rdacontent
001472413 337__ $$acomputer$$bc$$2rdamedia
001472413 338__ $$aonline resource$$bcr$$2rdacarrier
001472413 4901_ $$aLecture Notes in Computer Science,$$x1611-3349 ;$$v13964
001472413 500__ $$aIncludes author index.
001472413 5060_ $$aOpen access.$$5GW5XE
001472413 520__ $$aThis open access proceedings set constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.
001472413 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed July 18, 2023).
001472413 650_0 $$aComputer software$$xVerification$$vCongresses.
001472413 655_0 $$aElectronic books.
001472413 7001_ $$aEnea, Constantin,$$eeditor.$$1https://orcid.org/0000-0003-2727-8865
001472413 7001_ $$aLal, Akash,$$eeditor.$$1https://orcid.org/0009-0002-4359-9378
001472413 830_0 $$aLecture notes in computer science ;$$v13964.$$x1611-3349
001472413 852__ $$bebk
001472413 85640 $$3Springer Nature$$uhttps://link.springer.com/10.1007/978-3-031-37706-8$$zOnline Access$$91397441.2
001472413 909CO $$ooai:library.usi.edu:1472413$$pGLOBAL_SET
001472413 980__ $$aBIB
001472413 980__ $$aEBOOK
001472413 982__ $$aEbook
001472413 983__ $$aOnline
001472413 994__ $$a92$$bISE