محیطی برای تولید برنامه از توصیق صوری

نویسندگان

دانشکده‌ی مهندسی کامپیوتر، دانشگاه صنعتی شریف

چکیده

-

کلیدواژه‌ها

عنوان مقاله [English]

Environmental programs for the production of formal Tvsyq

نویسندگان [English]

  • Hassan Miri Hussein Abadi
  • Arash Jalali
Computer Engineering Department, Sharif University
چکیده [English]

-

کلیدواژه‌ها [English]

  • -

فایل ها

هم رسانی

ارجاع به این مقاله

آمار