دانلود کتاب Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
by Barbara Jobstmann
|
عنوان فارسی: تأیید، چک کردن مدل، و چکیده تفسیر: 17 کنفرانس بین المللی، VMCAI 2016، سنت پترزبورگ، فلوریدا، ایالات متحده، 17-19 ژانویه، 2016. مجموعه مقالات |