00716nam a22001457a 4500 0 0 0 0 PTR PTR 2025-11-18 Golden Books 11156.64 0 005.13 FOR 109774 2025-11-18 00:00:00 1 1865 2025-11-18 BK 58940 58940 9783030634056 (pbk) 005.13 FOR Shang-Wei Lin (editor) Zhe Hou (editor) Brendan Mahoney (editor) Formal methods for software engineering : 22nd international conference on formal engineering methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, proceedings Switzerland Springer Nature 2021 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 BK