Software engineering and formal methods : 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings /
Saved in:
Meeting name: | International Conference on Software Engineering and Formal Methods (18th : 2020 : Online) |
---|---|
Imprint: | Cham : Springer, 2020 . |
Description: | 1 online resource (xiv, 325 p.) : ill. (some col.) |
Language: | English |
Series: | Lecture Notes in Computer Science ; 12310 LNCS sublibrary, SL 1, Theoretical computer science and general issues Lecture notes in computer science ; 12310. LNCS sublibrary. SL 1, Theoretical computer science and general issues. |
Subject: | |
Format: | E-Resource Book |
URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/12607880 |
MARC
LEADER | 00000cam a2200000Ii 4500 | ||
---|---|---|---|
001 | 12607880 | ||
005 | 20210813213023.0 | ||
006 | m d | ||
007 | cr nn||||mamaa | ||
008 | 200925s2020 sz o 100 0 eng d | ||
019 | |a 1196259268 |a 1197837561 | ||
020 | |a 9783030587680 |q (electronic bk.) | ||
020 | |a 3030587681 |q (electronic bk.) | ||
020 | |z 9783030587673 | ||
024 | 7 | |a 10.1007/978-3-030-58768-0 |2 doi | |
024 | 8 | |a 10.1007/978-3-030-58 | |
035 | |a (OCoLC)1198396164 |z (OCoLC)1196259268 |z (OCoLC)1197837561 | ||
035 | 9 | |a (OCLCCM-CC)1198396164 | |
040 | |a LQU |b eng |c LQU |d UPM |d EBLCP |d OCLCO |d YDXIT |d GW5XE |d OCLCF |d NLW | ||
049 | |a MAIN | ||
050 | 4 | |a QA76.758 |b .S64 2020 | |
111 | 2 | |a International Conference on Software Engineering and Formal Methods |n (18th : |d 2020 : |c Online) | |
245 | 1 | 0 | |a Software engineering and formal methods : |b 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings / |c Frank de Boer, Antonio Cerone (eds.). |
246 | 3 | |a SEFM 2020 | |
264 | 1 | |a Cham : |b Springer, |c 2020 . | |
300 | |a 1 online resource (xiv, 325 p.) : |b ill. (some col.) | ||
336 | |a text |b txt |2 rdacontent | ||
337 | |a computer |b c |2 rdamedia | ||
338 | |a online resource |b cr |2 rdacarrier | ||
490 | 1 | |a Lecture Notes in Computer Science ; |v 12310 | |
490 | 1 | |a LNCS sublibrary, SL 1, Theoretical computer science and general issues | |
505 | 0 | |a Testing -- Formal verification -- Program analysis -- Runtime verification -- Meta-programming and software development -- Evolution. | |
520 | |a This 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. | ||
650 | 0 | |a Software engineering |v Congresses. | |
650 | 0 | |a Formal methods (Computer science) |v Congresses. | |
650 | 0 | |a Artificial intelligence. |0 http://id.loc.gov/authorities/subjects/sh85008180 | |
650 | 0 | |a Computers, Special purpose. |0 http://id.loc.gov/authorities/subjects/sh85029570 | |
650 | 7 | |a Artificial intelligence. |2 bicssc | |
650 | 7 | |a Computer hardware. |2 bicssc | |
650 | 7 | |a Expert systems / knowledge-based systems. |2 bicssc | |
650 | 7 | |a Software Engineering. |2 bicssc | |
650 | 7 | |a Computers |x Intelligence (AI) & Semantics. |2 bisacsh | |
650 | 7 | |a Computers |x Hardware |x General. |2 bisacsh | |
650 | 7 | |a Computers |x Expert Systems. |2 bisacsh | |
650 | 7 | |a Computers |x Software Development & Engineering |x General. |2 bisacsh | |
650 | 7 | |a Artificial intelligence. |2 fast |0 (OCoLC)fst00817247 | |
650 | 7 | |a Computers, Special purpose. |2 fast |0 (OCoLC)fst00872901 | |
650 | 7 | |a Formal methods (Computer science) |2 fast |0 (OCoLC)fst00932926 | |
650 | 7 | |a Software engineering. |2 fast |0 (OCoLC)fst01124185 | |
655 | 0 | |a Electronic books. | |
655 | 4 | |a Electronic books. | |
655 | 7 | |a Conference papers and proceedings. |2 fast |0 (OCoLC)fst01423772 | |
700 | 1 | |a Boer, Frank S. de. |0 http://id.loc.gov/authorities/names/n2003015224 | |
700 | 1 | |a Cerone, Antonio. | |
776 | 0 | 8 | |i Print version: |a de Boer, Frank |t Software Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amsterdam, the Netherlands, September 14-18, 2020, Proceedings |d Cham : Springer International Publishing AG,c2020 |z 9783030587673 |
830 | 0 | |a Lecture notes in computer science ; |v 12310. |0 http://id.loc.gov/authorities/names/n42015162 | |
830 | 0 | |a LNCS sublibrary. |n SL 1, |p Theoretical computer science and general issues. |0 http://id.loc.gov/authorities/names/no2007042902 | |
903 | |a HeVa | ||
929 | |a oclccm | ||
999 | f | f | |i 5b55614a-6eaa-5d43-be70-d9162785251a |s 9d6f7e3a-64da-57bd-ba4d-6232215bf779 |
928 | |t Library of Congress classification |a QA76.758 .S64 2020 |l Online |c UC-FullText |u https://link.springer.com/10.1007/978-3-030-58768-0 |z Springer Nature |g ebooks |i 12623488 |