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
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,
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).
