000 02416nam a22005175i 4500
001 978-3-031-09827-7
003 DE-He213
005 20240423125326.0
007 cr nn 008mamaa
008 220621s2022 sz | s |||| 0|eng d
020 _a9783031098277
_9978-3-031-09827-7
024 7 _a10.1007/978-3-031-09827-7
_2doi
050 4 _aBC1-199
072 7 _aHPL
_2bicssc
072 7 _aPHI011000
_2bisacsh
072 7 _aQDTL
_2thema
082 0 4 _a160
_223
245 1 0 _aTests and Proofs
_h[electronic resource] :
_b16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings /
_cedited by Laura Kovács, Karl Meinke.
250 _a1st ed. 2022.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2022.
300 _aVIII, 127 p. 28 illus., 10 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v13361
520 _aThis book constitutes the proceedings of the 16th International Conference on Tests and Proofs, TAP 2022, which was held as part of Software Technologies: Applications and Foundations, STAF 2022, and took place in Nantes, France in July 2022. The 6 full papers together with 1 invited extended abstract included in this volume were carefully reviewed and selected from 11 submissions. They were organized in topical sections on formal analysis, and proofs, and effective testing.
650 0 _aLogic.
650 0 _aComputer science.
650 1 4 _aFormal Logic.
650 2 4 _aModels of Computation.
700 1 _aKovács, Laura.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aMeinke, Karl.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783031098260
776 0 8 _iPrinted edition:
_z9783031098284
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v13361
856 4 0 _uhttps://doi.org/10.1007/978-3-031-09827-7
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cSPRINGER
999 _c176729
_d176729