Babamiri, S. and Jalili, S. (2007). EBV,AN APPROACH TO AUTOMATIC CONSTRUCTING OF RUN - TIME VERIFIER OF THE SAFETY - CRITICAL SOFTWARE. Sharif Journal of Civil Engineering, vol. 23(No . 38), 81-101.
MLA
Babamiri, S. , and Jalili, S. . "EBV,AN APPROACH TO AUTOMATIC CONSTRUCTING OF RUN - TIME VERIFIER OF THE SAFETY - CRITICAL SOFTWARE", Sharif Journal of Civil Engineering, vol. 23, No . 38, 2007, 81-101.
HARVARD
Babamiri, S., Jalili, S. (2007). 'EBV,AN APPROACH TO AUTOMATIC CONSTRUCTING OF RUN - TIME VERIFIER OF THE SAFETY - CRITICAL SOFTWARE', Sharif Journal of Civil Engineering, vol. 23(No . 38), pp. 81-101.
CHICAGO
S. Babamiri and S. Jalili, "EBV,AN APPROACH TO AUTOMATIC CONSTRUCTING OF RUN - TIME VERIFIER OF THE SAFETY - CRITICAL SOFTWARE," Sharif Journal of Civil Engineering, vol. 23 No . 38 (2007): 81-101,
VANCOUVER
Babamiri, S., Jalili, S. EBV,AN APPROACH TO AUTOMATIC CONSTRUCTING OF RUN - TIME VERIFIER OF THE SAFETY - CRITICAL SOFTWARE. Sharif Journal of Civil Engineering, 2007; vol. 23(No . 38): 81-101.
)