000944859 000__ 03504cam\a2200541Ii\4500
000944859 001__ 944859
000944859 005__ 20230306152312.0
000944859 006__ m\\\\\o\\d\\\\\\\\
000944859 007__ cr\nn\nnnunnun
000944859 008__ 200925s2020\\\\sz\\\\\\o\\\\\100\0\eng\d
000944859 019__ $$a1196259268$$a1197837561
000944859 020__ $$a9783030587680$$q(electronic book)
000944859 020__ $$a3030587681$$q(electronic book)
000944859 020__ $$z9783030587673
000944859 0247_ $$a10.1007/978-3-030-58768-0$$2doi
000944859 0248_ $$a10.1007/978-3-030-58
000944859 035__ $$aSP(OCoLC)on1198396164
000944859 035__ $$aSP(OCoLC)1198396164$$z(OCoLC)1196259268$$z(OCoLC)1197837561
000944859 040__ $$aLQU$$beng$$cLQU$$dUPM$$dEBLCP$$dOCLCO$$dYDXIT$$dGW5XE$$dOCLCF$$dNLW
000944859 049__ $$aISEA
000944859 050_4 $$aQA76.758$$b.S64 2020
000944859 08204 $$a005.1$$223
000944859 1112_ $$aInternational Conference on Software Engineering and Formal Methods$$n(18th :$$d2020 :$$cOnline)
000944859 24510 $$aSoftware engineering and formal methods :$$b18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings /$$cFrank de Boer, Antonio Cerone (eds.).
000944859 2463_ $$aSEFM 2020
000944859 264_1 $$aCham :$$bSpringer,$$c2020 .
000944859 300__ $$a1 online resource (xiv, 325 pages) :$$billustrations.
000944859 336__ $$atext$$btxt$$2rdacontent
000944859 337__ $$acomputer$$bc$$2rdamedia
000944859 338__ $$aonline resource$$bcr$$2rdacarrier
000944859 4901_ $$aLecture Notes in Computer Science ;$$v12310
000944859 4901_ $$aLNCS sublibrary, SL 1, Theoretical computer science and general issues
000944859 5050_ $$aTesting -- Formal verification -- Program analysis -- Runtime verification -- Meta-programming and software development -- Evolution.
000944859 506__ $$aAccess limited to authorized users.
000944859 520__ $$aThis book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020. The 16 full papers presented together with 1 keynote talk and an abstract of a keynote talk were carefully reviewed and selected from 58 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, meta-programming and software development and evolution. The papers address a wide range of systems, such as IoT systems, human-robot interaction in healthcare scenarios, navigation of maritime autonomous systems, and operating systems. The Chapters "Multi-Purpose Syntax Definition with SDF3", "FRed: Conditional Model Checking via Reducers and Folders" and "Difference Verification with Conditions" are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
000944859 650_0 $$aSoftware engineering$$vCongresses.
000944859 650_0 $$aFormal methods (Computer science)$$vCongresses.
000944859 650_0 $$aArtificial intelligence.
000944859 650_0 $$aComputers, Special purpose.
000944859 7001_ $$aBoer, Frank S. de.
000944859 7001_ $$aCerone, Antonio.
000944859 77608 $$iPrint version:$$ade Boer, Frank$$tSoftware Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amsterdam, the Netherlands, September 14-18, 2020, Proceedings$$dCham : Springer International Publishing AG,c2020$$z9783030587673
000944859 830_0 $$aLecture notes in computer science ;$$v12310.
000944859 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000944859 852__ $$bebk
000944859 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-58768-0$$zOnline Access$$91397441.1
000944859 909CO $$ooai:library.usi.edu:944859$$pGLOBAL_SET
000944859 980__ $$aEBOOK
000944859 980__ $$aBIB
000944859 982__ $$aEbook
000944859 983__ $$aOnline
000944859 994__ $$a92$$bISE