Formal methods for software engineering
: 22nd international conference on formal engineering methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, proceedings
Shang-Wei Lin (editor) Zhe Hou (editor) Brendan Mahoney (editor)
creator
text
Switzerland
Springer Nature
2021
monographic
xii, 334 p. : ill. ; 24 cm.
Includes bibliographical references and author index.
Software Engineering
Software engineering congresses
Formal specification
Software verification
Formal methods
FC
GGC
005.13 FOR
9783030634056 (pbk)