
Computer aided verification. Part I 28th International conference, CAV 2016, Toronto, ON, USA, July 17-23, 2016 : proceedings
Computer aided verification. Part I 28th International conference, CAV 2016, Toronto, ON, USA, July 17-23, 2016 : proceedings
افزودن به بوکمارک
اشتراک گذاری
0 دیدگاه کاربران
5
(0)
مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید
این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.