000			01621nam a2200289Ia 4500
000			02206nam a22003135i 4500
001			978-3-031-38828-6
003			DE-He213
005			20240319121007.0
007			cr nn 008mamaa
008			230719s2023 sz | s |||| 0|eng d
020			_a9783031388286 _9978-3-031-38828-6
082			_a160
245			_aTests and Proofs _cedited by Virgile Prevosto, Cristina Seceleanu. _h[electronic resource] :
250			_a1st ed. 2023.
260			_aCham _bSpringer Nature Switzerland _c2023
300			_aXXII, 187 p. 65 illus., 17 illus. in color. _bonline resource.
520			_aThis book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies, Applications and Foundations, which includes two more conferences besides TAP: ICGT (International Conference on Graph Transformations), and ECMFA (European Conference on Modelling Foundations and Applications) in Leicester, UK, in July 2023. The 8 full papers together with 2 short papers included in this volume were carefully reviewed and selected from 14 submissions. They were organized in topical sections on Low-level Code Verification, Formal Models, Model-based test generation, and Abstraction and Refinement.
650			_aComputer science. _934763
650			_aInformal Logic. _934764
650			_aModels of Computation. _934765
650			_aReasoning. _934766
700			_aPrevosto, Virgile. _934767
700			_aSeceleanu, Cristina. _934768
856			_uhttps://doi.org/10.1007/978-3-031-38828-6
942			_cEBK _2ddc
999			_c15505 _d15505