Cover Image
Read Now

Software Engineering and Formal Methods 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings

This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022. The 19 full and 3 short papers included in this book were carefully reviewed and selected from 62 submiss...

Full description

Bibliographic Details
Other Authors: Schlingloff, Bernd-Holger (Editor), Chai, Ming (Editor)
Format: eBook
Language:English
Published: Cham Springer International Publishing 2022, 2022
Edition:1st ed. 2022
Series:Lecture Notes in Computer Science
Subjects:
Logic Programming
Control Structures And Microprogramming
Programming Techniques
Computer System Implementation
Data Structures And Information Theory
Data Structures (computer Science)
Microprogramming 
Software Engineering
Computer Programming
Logic In Ai.
Information Theory
Computer Systems
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
LEADER 02101nmm a2200409 u 4500
001 EB002091742
003 EBX01000000000000001231834
005 20260102000000.0
007 cr|||||||||||||||||||||
008 221004 ||| eng
020 |a 9783031171086 
100 1 |a Schlingloff, Bernd-Holger  |e [editor] 
245 0 0 |a Software Engineering and Formal Methods  |h Elektronische Ressource  |b 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings  |c edited by Bernd-Holger Schlingloff, Ming Chai 
250 |a 1st ed. 2022 
260 |a Cham  |b Springer International Publishing  |c 2022, 2022 
300 |a XVII, 369 p. 384 illus., 75 illus. in color  |b online resource 
653 |a Logic programming 
653 |a Control Structures and Microprogramming 
653 |a Programming Techniques 
653 |a Computer System Implementation 
653 |a Data Structures and Information Theory 
653 |a Data structures (Computer science) 
653 |a Microprogramming  
653 |a Software engineering 
653 |a Computer programming 
653 |a Logic in AI. 
653 |a Software Engineering 
653 |a Information theory 
653 |a Computer systems 
700 1 |a Chai, Ming  |e [editor] 
041 0 7 |a eng  |2 ISO 639-2 
989 |b Springer  |a Springer eBooks 2005- 
490 0 |a Lecture Notes in Computer Science 
028 5 0 |a 10.1007/978-3-031-17108-6 
856 4 0 |u https://doi.org/10.1007/978-3-031-17108-6?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 005.1 
520 |a This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022. The 19 full and 3 short papers included in this book were carefully reviewed and selected from 62 submissions. They were organized in topical sections as follows: software verification; program analysis; verifier technology; formal methods for intelligent and learning systems; specification and contracts; program synthesis; temporal logic; and runtime methods. 

Similar Items