APA (7th ed.) Citation

Ho, V. M., Alvin, C., Lawson, J. D., Mukhopadhyay, S., & Peterson, B. (2023). Program analysis using empirical abstraction. International journal on software tools for technology transfer, 25(4), 431-452. https://doi.org/10.1007/s10009-023-00709-y

Chicago Style (17th ed.) Citation

Ho, Vivian M., Chris Alvin, Jimmie D. Lawson, Supratik Mukhopadhyay, and Brian Peterson. "Program Analysis Using Empirical Abstraction." International Journal on Software Tools for Technology Transfer 25, no. 4 (2023): 431-452. https://doi.org/10.1007/s10009-023-00709-y.

MLA (9th ed.) Citation

Ho, Vivian M., et al. "Program Analysis Using Empirical Abstraction." International Journal on Software Tools for Technology Transfer, vol. 25, no. 4, 2023, pp. 431-452, https://doi.org/10.1007/s10009-023-00709-y.