001472020 000__ 03384nam\\2200649\i\4500
001472020 001__ 1472020
001472020 003__ OCoLC
001472020 005__ 20230908003326.0
001472020 006__ m\\\\\o\\d\\\\\\\\
001472020 007__ cr\cn\nnnunnun
001472020 008__ 230726s2023\\\\sz\a\\\\ob\\\\101\0\eng\d
001472020 020__ $$a9783031388286$$q(electronic bk.)
001472020 020__ $$a3031388283$$q(electronic bk.)
001472020 020__ $$z9783031388279
001472020 0247_ $$a10.1007/978-3-031-38828-6$$2doi
001472020 035__ $$aSP(OCoLC)1391143682
001472020 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE
001472020 049__ $$aISEA
001472020 050_4 $$aQA76.758
001472020 08204 $$a005.1$$223/eng/20230726
001472020 1112_ $$aTAP (Conference)$$n(17th :$$d2023 :$$cLeicester, England)
001472020 24510 $$aTests and proofs :$$b17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, proceedings /$$cVirgile Prevosto, Cristina Seceleanu, editors.
001472020 24630 $$aTAP 2023
001472020 264_1 $$aCham :$$bSpringer,$$c[2023]
001472020 264_4 $$c©2023
001472020 300__ $$a1 online resource (xxii, 187 pages) :$$billustrations (some color).
001472020 336__ $$atext$$btxt$$2rdacontent
001472020 337__ $$acomputer$$bc$$2rdamedia
001472020 338__ $$aonline resource$$bcr$$2rdacarrier
001472020 4901_ $$aLecture notes in computer science,$$x1611-3349 ;$$v14066
001472020 500__ $$aInternational conference proceedings.
001472020 504__ $$aIncludes bibliographical references and author index.
001472020 5050_ $$aLow-level Code Verification -- Formal Models -- Model-based test generation -- Abstraction and Refinement.
001472020 506__ $$aAccess limited to authorized users.
001472020 520__ $$aThis book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies, Applications and Foundations, which includes two more conferences besides TAP: ICGT (International Conference on Graph Transformations), and ECMFA (European Conference on Modelling Foundations and Applications) in Leicester, UK, in July 2023. The 8 full papers together with 2 short papers included in this volume were carefully reviewed and selected from 14 submissions. They were organized in topical sections on Low-level Code Verification, Formal Models, Model-based test generation, and Abstraction and Refinement.
001472020 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed July 26, 2023).
001472020 650_0 $$aSoftware engineering$$vCongresses.
001472020 650_0 $$aComputer software$$xTesting$$vCongresses.
001472020 655_7 $$aConference papers and proceedings.$$2lcgft
001472020 655_0 $$aElectronic books.
001472020 7001_ $$aPrevosto, Virgile,$$eeditor.
001472020 7001_ $$aSeceleanu, Cristina,$$eeditor.
001472020 830_0 $$aLecture notes in computer science ;$$v14066.$$x1611-3349
001472020 852__ $$bebk
001472020 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-38828-6$$zOnline Access$$91397441.1
001472020 909CO $$ooai:library.usi.edu:1472020$$pGLOBAL_SET
001472020 980__ $$aBIB
001472020 980__ $$aEBOOK
001472020 982__ $$aEbook
001472020 983__ $$aOnline
001472020 994__ $$a92$$bISE