دانلود کتاب Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
by Leonardo de Moura
|
عنوان فارسی: تأیید، چک کردن مدل، و چکیده تفسیر: 14 کنفرانس بین المللی، VMCAI 2013، رم، ایتالیا، ژانویه 20-22، 2013. مجموعه مقالات |