APA (7th ed.) Citation

Currie, D., Feng, X., Fujita, M., Hu, A. J., Kwan, M., & Rajan, S. (2006). Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions. International Journal of Parallel Programming, 34(1), 61. https://doi.org/10.1007/s10766-005-0004-8

Chicago Style (17th ed.) Citation

Currie, David, Xiushan Feng, Masahiro Fujita, Alan J. Hu, Mark Kwan, and Sreeranga Rajan. "Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions." International Journal of Parallel Programming 34, no. 1 (2006): 61. https://doi.org/10.1007/s10766-005-0004-8.

MLA (9th ed.) Citation

Currie, David, et al. "Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions." International Journal of Parallel Programming, vol. 34, no. 1, 2006, p. 61, https://doi.org/10.1007/s10766-005-0004-8.