
Verification, model checking, and abstract interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 ; proceedings
فرمت کتاب
print book
زبان
english
تاریخ انتشار
2016
شابک
978-3-662-49121-8
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران