000			02097nam a2200397Ia 4500
000			03620nam a22004215i 4500
001			978-3-031-47115-5
003			DE-He213
005			20240319121139.0
007			cr nn 008mamaa
008			231030s2023 sz | s |||| 0|eng d
020			_a9783031471155 _9978-3-031-47115-5
082			_a5.1
245			_aSoftware Engineering and Formal Methods _cedited by Carla Ferreira, Tim A. C. Willemse. _h[electronic resource] :
250			_a1st ed. 2023.
260			_aCham _bSpringer Nature Switzerland _c2023
300			_aXII, 378 p. 152 illus., 105 illus. in color. _bonline resource.
520			_aThis book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 2023. The 18 regular papers presented in this book, together with 1 invited paper and 1 tool paper, were carefully reviewed and selected from 41 submissions. The SEFM conference series aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.
650			_aComputer programming. _939433
650			_aComputer System Implementation. _939434
650			_aComputer systems. _939435
650			_aControl Structures and Microprogramming. _939436
650			_aData structures (Computer science). _939437
650			_aData Structures and Information Theory. _939438
650			_aInformation theory. _939439
650			_aLogic in AI. _939440
650			_aLogic programming. _939441
650			_aMicroprogramming . _939442
650			_aProgramming Techniques. _939443
650			_aSoftware engineering. _939444
650			_aSoftware Engineering. _939445
700			_aFerreira, Carla. _939446
700			_aWillemse, Tim A. C. _939447
856			_uhttps://doi.org/10.1007/978-3-031-47115-5
942			_cEBK _2ddc
999			_c15870 _d15870