APA (7th ed.) Citation

Bodden, E., & Havelund, K. (2010). Aspect-Oriented Race Detection in Java. IEEE Transactions on Software Engineering, 36(4), 509. https://doi.org/10.1109/TSE.2010.25

Chicago Style (17th ed.) Citation

Bodden, Eric, and Klaus Havelund. "Aspect-Oriented Race Detection in Java." IEEE Transactions on Software Engineering 36, no. 4 (2010): 509. https://doi.org/10.1109/TSE.2010.25.

MLA (9th ed.) Citation

Bodden, Eric, and Klaus Havelund. "Aspect-Oriented Race Detection in Java." IEEE Transactions on Software Engineering, vol. 36, no. 4, 2010, p. 509, https://doi.org/10.1109/TSE.2010.25.