نام پژوهشگر: حمیده صبوری قمی

بررسی روش های تجرید مدل های ربکا به منظور درستی یابی صوری
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه تهران 1387
  حمیده صبوری قمی   مرجان سیرجانی

چکیده ندارد.