00668nam a22001217a 4500020002400000082001600024100007100040245017200111260003900283300003600322500005900358650012900417  a9783030634056 (pbk)  a005.13bFOR  aShang-Wei Lin (editor)aZhe Hou (editor)aBrendan Mahoney (editor)  aFormal methods for software engineering b: 22nd international conference on formal engineering methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, proceedings  aSwitzerlandbSpringer Naturec2021  a xii, 334 p.b: ill. c; 24 cm.  aIncludes bibliographical references and author index.   aSoftware Engineering vSoftware engineering congressesvFormal specificationvSoftware verificationvFormal methodsvFCvGGC