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
Citace podle Chicago (17th ed.)Yoo, Junbeom, Eunkyoung Jee, a 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.
Citace podle MLA (9th ed.)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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..