Haddad, G., & Leavens, G. T. (2013). Specifying subtypes in Safety Critical Java programs. Concurrency and computation, 25(16), 2290-2306. https://doi.org/10.1002/cpe.2930
Citace podle Chicago (17th ed.)Haddad, Ghaith, a Gary T. Leavens. "Specifying Subtypes in Safety Critical Java Programs." Concurrency and Computation 25, no. 16 (2013): 2290-2306. https://doi.org/10.1002/cpe.2930.
Citace podle MLA (9th ed.)Haddad, Ghaith, a Gary T. Leavens. "Specifying Subtypes in Safety Critical Java Programs." Concurrency and Computation, vol. 25, no. 16, 2013, pp. 2290-2306, https://doi.org/10.1002/cpe.2930.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..