Software Engineering and Formal Methods

20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings

By: Bernd-Holger Schlingloff (Editor), Ming Chai (Editor)

Write A Review

Paperback | 21 September 2022

At a Glance

Paperback
388 Pages

Dimensions(cm)
23.3 x 15.6 x 2.3

Paperback

$109.00

or 4 interest-free payments of $27.25 with

or

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.