LEADER 02363oam  2200505   450 
001 996418292903316
005 20210604112141.0
010   $a3-030-63406-X
024 7 $a10.1007/978-3-030-63406-3
035   $a(CKB)4100000011665260
035   $a(DE-He213)978-3-030-63406-3
035   $a(MiAaPQ)EBC6427577
035   $a(PPN)25251436X
035   $a(EXLCZ)994100000011665260
100   $a20210604d2021      uy             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 00$aFormal methods and software engineering $e22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, proceedings /$fShang-Wei Lin, Zhe Hou, Brendan Mahony (Eds.)
205   $a1st ed. 2020.
210  1$aCham, Switzerland :$cSpringer,$d[2021]
210  4$d©2021
215   $a1 online resource (XII, 335 p. 386 illus., 48 illus. in color.) 
225 1 $aLecture Notes in Computer Science ;$v12531
311   $a3-030-63405-1 
327   $aSafety and Security -- Program Verification -- Formal Methods and Machine Learning -- Formal Languages -- Other Applications of Formal Methods.
330   $aThis book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover theory and applications in formal engineering methods together with case studies. They also represent the recent development in the use and development of formal engineering methods for software and system development.
410  0$aLecture notes in computer science ;$v12531.
606   $aFormal methods (Computer science)$vCongresses
606   $aSoftware engineering$vCongresses
615  0$aFormal methods (Computer science)
615  0$aSoftware engineering
676   $a004.0151
702   $aLin$b Shang-Wei
702   $aHou$b Zhe
702   $aMahony$b Brendan
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bUtOrBLW
906   $aBOOK
912   $a996418292903316
996   $aFormal Methods and Software Engineering$9771999
997   $aUNISA