Burdy, L., Cheon, Y., Cok, D. R., Ernst, M. D., Kiniry, J. R., Leavens, G. T., . . . Poll, E. (2005). An overview of JML tools and applications. International journal on software tools for technology transfer, 7(3), 212-232. https://doi.org/10.1007/s10009-004-0167-4
Citace podle Chicago (17th ed.)Burdy, Lilian, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph R. Kiniry, Gary T. Leavens, K. Rustan M. Leino, a Erik Poll. "An Overview of JML Tools and Applications." International Journal on Software Tools for Technology Transfer 7, no. 3 (2005): 212-232. https://doi.org/10.1007/s10009-004-0167-4.
Citace podle MLA (9th ed.)Burdy, Lilian, et al. "An Overview of JML Tools and Applications." International Journal on Software Tools for Technology Transfer, vol. 7, no. 3, 2005, pp. 212-232, https://doi.org/10.1007/s10009-004-0167-4.