Mirian Hussein Abadi, H. & Jalali, A. (2003). AN ENVIRONMENT FOR PROGRAM DEVELOPMENT FORM FORMAL SPECIFICATIONS. Sharif Journal of Mechanical Engineering, 19(No. 25), 42–53.
MLA
Mirian Hussein Abadi, H., & Jalali, A. "AN ENVIRONMENT FOR PROGRAM DEVELOPMENT FORM FORMAL SPECIFICATIONS", Sharif Journal of Mechanical Engineering, 19, No. 25, 2003, 42–53.
HARVARD
Mirian Hussein Abadi, H., & Jalali, A. (2003). 'AN ENVIRONMENT FOR PROGRAM DEVELOPMENT FORM FORMAL SPECIFICATIONS', Sharif Journal of Mechanical Engineering, 19(No. 25), pp. 42–53.
CHICAGO
Mirian Hussein Abadi, H. & Jalali, A., "AN ENVIRONMENT FOR PROGRAM DEVELOPMENT FORM FORMAL SPECIFICATIONS." Sharif Journal of Mechanical Engineering, 19 No. 25 (2003): 42–53,
VANCOUVER
Mirian Hussein Abadi H., Jalali A. AN ENVIRONMENT FOR PROGRAM DEVELOPMENT FORM FORMAL SPECIFICATIONS. Sharif Journal of Mechanical Engineering. 2003;19(No. 25):42–53 (In Persian).
