فهرست مقالات formal specification

• دسترسی آزاد مقاله
  • صفحه چکیده
  • متن کامل
  
  1 - تولید خودکار آزمایه مبتنی بر توصیف رفتاری قاعده‌محور
  علی حبیبی رامتین خسروی