Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II Book uri icon

Overview

abstract

  • The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20–21, 2025.

publication date

  • February 19, 2025

Date in CU Experts

  • February 1, 2026 12:55 PM

Full Author List

  • Krishna S; Sankaranarayanan S; Trivedi A

author count

  • 3

Other Profiles

International Standard Book Number (ISBN) 10

  • 3031827023

International Standard Book Number (ISBN) 13

  • 9783031827020