دانلود کتاب Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings
by Gogul Balakrishnan
|
عنوان فارسی: تأیید، چک کردن مدل، و چکیده تفسیر: 8 کنفرانس بین المللی، VMCAI 2007، نیس، فرانسه، ژانویه 14-16، 2007. مجموعه مقالات |