LEADER 02541nam  22005295  450 
001 996542666003316
005 20230719133324.0
010   $a3-031-38828-3
024 7 $a10.1007/978-3-031-38828-6
035   $a(MiAaPQ)EBC30656986
035   $a(Au-PeEL)EBL30656986
035   $a(DE-He213)978-3-031-38828-6
035   $a(PPN)272250139
035   $a(EXLCZ)9927675006500041
100   $a20230719d2023      u|             0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aTests and Proofs$b[electronic resource] $e17th International Conference, TAP 2023, Leicester, UK, July 18?19, 2023, Proceedings /$fedited by Virgile Prevosto, Cristina Seceleanu
205   $a1st ed. 2023.
210  1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2023.
215   $a1 online resource (202 pages)
225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v14066
311 08$aPrint version: Prevosto, Virgile Tests and Proofs Cham : Springer International Publishing AG,c2023 9783031388279 
327   $aLow-level Code Verification -- Formal Models -- Model-based test generation -- Abstraction and Refinement.
330   $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.
410  0$aLecture Notes in Computer Science,$x1611-3349 ;$v14066
606   $aReasoning
606   $aComputer science
606   $aInformal Logic
606   $aModels of Computation
615  0$aReasoning.
615  0$aComputer science.
615 14$aInformal Logic.
615 24$aModels of Computation.
676   $a005.1
700   $aPrevosto$b Virgile$01378504
701   $aSeceleanu$b Cristina$01378505
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996542666003316
996   $aTests and Proofs$93417115
997   $aUNISA