عنوان پایان‌نامه

پياده سازي ابزار درستي سنجي مبتني بر شبيه سازي نمادين با پشتيباني منطق تساوي و مجرد سازي تابع