LEADER 01779nam  2200517   450 
001 996478865303316
005 20231110224557.0
010   $a3-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(EXLCZ)9923976609000041
100   $a20221223d2022      uy             0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 00$aTests and proofs $e16th international conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022 : proceedings /$fedited by Laura Kova?cs and Karl Meinke
210  1$aCham, Switzerland :$cSpringer,$d[2022]
210  4$d©2022
215   $a1 online resource (132 pages)
225 1 $aLecture Notes in Computer Science ;$vv.13361
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 
410  0$aLecture Notes in Computer Science 
606   $aComputer software$xVerification
606   $aComputer software$xVerification$vCongresses
606   $aComputer software$xTesting$vCongresses
615  0$aComputer software$xVerification.
615  0$aComputer software$xVerification
615  0$aComputer software$xTesting
676   $a005.3
702   $aMeinke$b K$g(Karl),
702   $aKova?cs$b Laura
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996478865303316
996   $aTests and Proofs$92841686
997   $aUNISA