APA-Zitierstil (7. Ausg.)

Yoo, J., Jee, E., & Cha, S. (2009). Formal Modeling and Verification of Safety-Critical Software. IEEE software, 26(3), 42-49. https://doi.org/10.1109/MS.2009.67

Chicago-Zitierstil (17. Ausg.)

Yoo, Junbeom, Eunkyoung Jee, und Sungdeok Cha. "Formal Modeling and Verification of Safety-Critical Software." IEEE Software 26, no. 3 (2009): 42-49. https://doi.org/10.1109/MS.2009.67.

MLA-Zitierstil (9. Ausg.)

Yoo, Junbeom, et al. "Formal Modeling and Verification of Safety-Critical Software." IEEE Software, vol. 26, no. 3, 2009, pp. 42-49, https://doi.org/10.1109/MS.2009.67.