Systems and Software Verification: Model-Checking Techniques and Tools
아직 평점이 없습니다
Dec 15, 2010
·
영어
·
페이퍼백
(202 페이지)