Fr. 90.00

Chai, Ming Chai, Bernd-Holger Schlingloff

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

English · Paperback / Softback

Shipping usually within 1 to 2 weeks (title will be printed to order)

Description

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.

Product details

Assisted by	Chai (Editor), Ming Chai (Editor), Bernd-Holger Schlingloff (Editor)
Publisher	Springer, Berlin

Languages	English
Product format	Paperback / Softback
Released	21.09.2022

EAN	9783031171079
ISBN	978-3-0-3117107-9
No. of pages	369
Dimensions	155 mm x 21 mm x 235 mm
Illustrations	XVII, 369 p. 384 illus., 75 illus. in color.
Series	Lecture Notes in Computer Science
Subject	Natural sciences, medicine, IT, technology > IT, data processing > IT

Customer reviews

No reviews have been written for this item yet. Write the first review and be helpful to other users when they decide on a purchase.