@article{
  author = {رسول‌زادگان, عباس, عبداله‌زاده بارفروش, احمد},
  title = {مکانیزم تبدیل دوجهته نمودار کلاس UML و توصیف Object-Z},
  journal = {فصلنامه مهندسی برق و مهندسی کامپيوتر ايران},
  year = {2013},
  volume = {10},
  number = {4},
  pages = {69-85},
  doi = {}
}