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), 81–101.
MLA
Babamiri, S., & 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
Babamiri, S. & 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,
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).
