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) (Switzerland Springer Nature, 2021)
Includes bibliographical references and author index.
Keywords: Software Engineering -- Software engineering congresses -- Formal specification -- Software verification -- Formal methods -- FC -- GGC