LEADER 02450nam 22006135 450 001 9910580161203321 005 20251225203713.0 010 $a3-031-09827-7 024 7 $a10.1007/978-3-031-09827-7 035 $a(MiAaPQ)EBC7020801 035 $a(Au-PeEL)EBL7020801 035 $a(CKB)23976609000041 035 $aEBL7020801 035 $a(OCoLC)1333082070 035 $a(AU-PeEL)EBL7020801 035 $a(PPN)26875912X 035 $a(BIP)84627081 035 $a(BIP)84362530 035 $a(DE-He213)978-3-031-09827-7 035 $a(EXLCZ)9923976609000041 100 $a20220621d2022 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aTests and Proofs $e16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings /$fedited by Laura Kovács, Karl Meinke 205 $a1st ed. 2022. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2022. 215 $a1 online resource (132 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v13361 300 $aDescription based upon print version of record. 311 08$aPrint version: Kovács, Laura Tests and Proofs Cham : Springer International Publishing AG,c2022 9783031098260 330 $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. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v13361 606 $aLogic 606 $aComputer science 606 $aFormal Logic 606 $aModels of Computation 615 0$aLogic. 615 0$aComputer science. 615 14$aFormal Logic. 615 24$aModels of Computation. 676 $a005.3 676 $a005.1 702 $aMeinke$b K$g(Karl), 702 $aKova?cs$b Laura 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910580161203321 996 $aTests and Proofs$92841686 997 $aUNINA