دانلود کتاب Computer Aided Verification. 30th International Conference, CAV 2018 Held as Part of the Federated Logic Conference, FloC 2018 Oxford, UK, July 14–17, 2018 Proceedings
by Hana Chockler, Georg Weissenbacher
|
عنوان فارسی: تأیید به کمک رایانه |