Record Type: |
Language materials, printed
: Monograph/item
|
Title/Author: |
Software Engineering and Formal Methods/ edited by Bernd-Holger Schlingloff, Ming Chai. |
Reminder of title: |
20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings / |
other author: |
Schlingloff, Bernd-Holger. |
Description: |
XVII, 369 p. 384 illus., 75 illus. in color.online resource. : |
Contained By: |
Springer Nature eBook |
Subject: |
Software engineering. - |
Online resource: |
https://doi.org/10.1007/978-3-031-17108-6 |
ISBN: |
9783031171086 |