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
H. Mirian Hussein Abadi; A. Jalali. "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.
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.
)