APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Burdy, Lilian, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph R. Kiniry, Gary T. Leavens, K. Rustan M. Leino, and 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.

MLA (9th ed.) Citation

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.