000			01475nam a2200289Ia 4500
000			03614nam a22003135i 4500
001			978-3-031-33163-3
003			DE-He213
005			20240319121157.0
007			cr nn 008mamaa
008			230514s2023 sz | s |||| 0|eng d
020			_a9783031331633 _9978-3-031-33163-3
082			_a5.131
245			_aRigorous State-Based Methods _cedited by Uwe Glässer, Jose Creissac Campos, Dominique Méry, Philippe Palanque. _h[electronic resource] :
250			_a1st ed. 2023.
260			_aCham _bSpringer Nature Switzerland _c2023
300			_aXIII, 380 p. 131 illus., 107 illus. in color. _bonline resource.
520			_aThis book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, in May 2023. The 12 full and 7 short papers included in this volume were carefully reviewed and selected from 47 submissions. The proceedings also include 4 PhD symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z. .
650			_aFormal Languages and Automata Theory. _940373
650			_aMachine theory. _940374
700			_aCreissac Campos, Jose. _940375
700			_aGlässer, Uwe. _940376
700			_aMéry, Dominique. _940377
700			_aPalanque, Philippe. _940378
856			_uhttps://doi.org/10.1007/978-3-031-33163-3
942			_cEBK _2ddc
999			_c15943 _d15943