APA (7th ed.) Citation

Müller, P., Poetzsch-Heffter, A., & Leavens, G. T. (2003). Modular specification of frame properties in JML. Concurrency and computation, 15(2), 117-154. https://doi.org/10.1002/cpe.713

Chicago Style (17th ed.) Citation

Müller, Peter, Arnd Poetzsch-Heffter, and Gary T. Leavens. "Modular Specification of Frame Properties in JML." Concurrency and Computation 15, no. 2 (2003): 117-154. https://doi.org/10.1002/cpe.713.

MLA (9th ed.) Citation

Müller, Peter, et al. "Modular Specification of Frame Properties in JML." Concurrency and Computation, vol. 15, no. 2, 2003, pp. 117-154, https://doi.org/10.1002/cpe.713.