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