Verification, Model Checking, and Abstract Interpretation: 26th International Conference, Vmcai 2025

book

発売日

: 2025年

著者／編集

: Krishna Shankaranarayanan/Sriram Sankaranarayanan/Ashutosh Trivedi

出版社

: SPRINGER NATURE

価格

: 17,723

ISBN

: 9783031827020