APA (7th ed.) Citation

Amighi, A., Gomes, P. d. C., Gurov, D., & Huisman, M. (2016). Provably correct control flow graphs from Java bytecode programs with exceptions. International Journal on Software Tools for Technology Transfer, 18(6), 653-684. https://doi.org/10.1007/s10009-015-0375-0

Chicago Style (17th ed.) Citation

Amighi, Afshin, Pedro de Carvalho Gomes, Dilian Gurov, and Marieke Huisman. "Provably Correct Control Flow Graphs from Java Bytecode Programs with Exceptions." International Journal on Software Tools for Technology Transfer 18, no. 6 (2016): 653-684. https://doi.org/10.1007/s10009-015-0375-0.

MLA (9th ed.) Citation

Amighi, Afshin, et al. "Provably Correct Control Flow Graphs from Java Bytecode Programs with Exceptions." International Journal on Software Tools for Technology Transfer, vol. 18, no. 6, 2016, pp. 653-684, https://doi.org/10.1007/s10009-015-0375-0.