دانلود کتاب Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings
by Shuyuan Zhang
|
عنوان فارسی: فناوری خودکار برای تأیید و تجزیه و تحلیل: 10 سمپوزیوم بین المللی، ATVA 2012، تریواندروم، هند، 03-6 اکتبر، 2012. مجموعه مقالات |