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