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:
Microprogramming 
Computer Systems
Software Engineering
Programming Techniques
Computer System Implementation
Computer Programming
Logic In Ai.
Data Structures And Information Theory
Control Structures And Microprogramming
Information Theory
Data Structures (computer Science)
Logic Programming
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
LEADER 02101nmm a2200409 u 4500
001 EB002091742
003 EBX01000000000000001231834
005 00000000000000.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 Microprogramming  
653 |a Computer systems 
653 |a Software engineering 
653 |a Programming Techniques 
653 |a Computer System Implementation 
653 |a Computer programming 
653 |a Software Engineering 
653 |a Logic in AI. 
653 |a Data Structures and Information Theory 
653 |a Control Structures and Microprogramming 
653 |a Information theory 
653 |a Data structures (Computer science) 
653 |a Logic programming 
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