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
Citace podle Chicago (17th ed.)Ho, Vivian M., Chris Alvin, Jimmie D. Lawson, Supratik Mukhopadhyay, a 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.
Citace podle MLA (9th ed.)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.