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
Description
Summary: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.
Physical Description:XVII, 369 p. 384 illus., 75 illus. in color online resource
ISBN:9783031171086

Similar Items