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 (In Persian).
