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