تبدیل خودکار زبان c به promela و بالعکس SUPERVISOR Elham Mahmoudzadeh الهام محمودزاده (استاد راهنما) STUDENT Marzieh Alidadi مرضیه علیدادی FACULTY - DEPARTMENT دانشکده مهندسی برق و کامپیوتر DEGREE Bachelor of Science (B.Sc) YEAR 1396 TITLE تبدیل خودکار زبان c به promela و بالعکس
