@article{
  author = {بابامیر , سیدمرتضی, احمدی ثابت, ویدا},
  title = {تعیین سطح توانایی روش های رسمی در توصیف و تحلیل نرم افزار},
  journal = {فصلنامه مهندسی برق و مهندسی کامپيوتر ايران},
  year = {2012},
  volume = {10},
  number = {2},
  pages = {3-19},
  doi = {}
}