LEADER 01540nam  22003973  450 
001 996699682603316
005 20260116080317.0
010   $a3-032-15700-5
035   $a(CKB)44952014700041
035   $a(MiAaPQ)EBC32483428
035   $a(Au-PeEL)EBL32483428
035   $a(EXLCZ)9944952014700041
100   $a20260116d2026      uy         0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aVerification, Model Checking, and Abstract Interpretation $e27th International Conference, VMCAI 2026, Rennes, France, January 12-13, 2026, Proceedings
205   $a1st ed.
210  1$aCham :$cSpringer,$d2026.
210  4$dİ2026.
215   $a1 online resource (724 pages)
225 1 $aLecture Notes in Computer Science Series ;$vv.16417
311 08$a3-032-15699-8 
330   $aThis book constitutes the proceedings of the 27th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2026, which took place in Rennes, France, during January 12-13, 2026.The 18 full papers presented in the proceedings were carefully reviewed and selected from 54 submissions.
410  0$aLecture Notes in Computer Science Series
700   $aChen$b Yu-Fang$01888759
701   $aChen$0339591
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996699682603316
996   $aVerification, Model Checking, and Abstract Interpretation$94528373
997   $aUNISA