LEADER 02817nam  22006255  450 
001 996464552403316
005 20230302193251.0
010   $a3-030-94583-9
024 7 $a10.1007/978-3-030-94583-1
035   $a(MiAaPQ)EBC6855131
035   $a(Au-PeEL)EBL6855131
035   $a(CKB)20667319300041
035   $a(DE-He213)978-3-030-94583-1
035   $a(PPN)260832790
035   $a(EXLCZ)9920667319300041
100   $a20220113d2022      u|             0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aVerification, Model Checking, and Abstract Interpretation$b[electronic resource] $e23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16?18, 2022, Proceedings /$fedited by Bernd Finkbeiner, Thomas Wies
205   $a1st ed. 2022.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2022.
215   $a1 online resource (531 pages)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v13182
311 08$aPrint version: Finkbeiner, Bernd Verification, Model Checking, and Abstract Interpretation Cham : Springer International Publishing AG,c2022 9783030945824 
330   $aThis book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in January 2022. The 22 papers presented in this volume were carefully reviewed from 48 submissions. VMCAI provides a forum for researchers working on verification, model checking, and abstract interpretation and facilitates interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v13182
606   $aComputer science
606   $aMathematical logic
606   $aArtificial intelligence
606   $aComputer networks
606   $aTheory of Computation
606   $aMathematical Logic and Foundations
606   $aArtificial Intelligence
606   $aComputer Communication Networks
615  0$aComputer science.
615  0$aMathematical logic.
615  0$aArtificial intelligence.
615  0$aComputer networks.
615 14$aTheory of Computation.
615 24$aMathematical Logic and Foundations.
615 24$aArtificial Intelligence.
615 24$aComputer Communication Networks.
676   $a005.3
702   $aWies$b Thomas
702   $aFinkbeiner$b Bernd
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996464552403316
996   $aVerification, Model Checking, and Abstract Interpretation$92593983
997   $aUNISA