APA (7th ed.) Citation

Barbuti, R., De Francesco, N., & Tesei, L. (2010). An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier. Computer Journal, 53(6), 679.

Chicago Style (17th ed.) Citation

Barbuti, Roberto, Nicoletta De Francesco, and Luca Tesei. "An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier." Computer Journal 53, no. 6 (2010): 679.

MLA (9th ed.) Citation

Barbuti, Roberto, et al. "An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier." Computer Journal, vol. 53, no. 6, 2010, p. 679.