APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Haddad, Ghaith, and 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.

MLA (9th ed.) Citation

Haddad, Ghaith, and 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.