Constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008. This book presents the papers that are organized in topical sections on model checking, software verification, decision procedures, linear-time analysis, and theory.
※因拍攝略有色差，圖片僅供參考，顏色請以實際收到商品為準※