Verification, Model Checking, and Abstract Interpretation: 13th International Conference, Vmcai 2012

book

発売日

: 2012年

著者／編集

: Viktor Kuncak/Andrey Rybalchenko

出版社

: SPRINGER NATURE

価格

: 14,995

ISBN

: 9783642279393