@article{
  author = {پیرا, عین الله},
  title = {یک هیوریستیک جدید برای تشخیص بن بست در تحلیل ایمنی سیستم های نرم افزاری},
  journal = {فصلنامه مهندسی برق و مهندسی کامپيوتر ايران},
  year = {2022},
  volume = {20},
  number = {1},
  pages = {73-79},
  doi = {}
}