Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings: 13550 (Lecture Notes in Computer Science, 13550)

Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings: 13550 (Lecture Notes in Computer Science, 13550)

by Bernd-Holger Schlingloff (Editor), Ming Chai (Editor)

$68.67

Quantity

10 in stock

More Information

Format: Paperback
Pages: 386
Edition: 1st ed. 2022

ISBN 13: 9783031171079