01540nam 22003973 450 99669968260331620260116080317.09783032157003(CKB)44952014700041(MiAaPQ)EBC32483428(Au-PeEL)EBL32483428(EXLCZ)994495201470004120260116d2026 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierVerification, Model Checking, and Abstract Interpretation 27th International Conference, VMCAI 2026, Rennes, France, January 12-13, 2026, Proceedings1st ed.Cham :Springer,2026.©2026.1 online resource (724 pages)Lecture Notes in Computer Science Series ;v.164179783032156990 This 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.Lecture Notes in Computer Science SeriesChen Yu-Fang1888759Chen339591MiAaPQMiAaPQMiAaPQBOOK996699682603316Verification, Model Checking, and Abstract Interpretation4528373UNISA