Qian, K., Smith, S., Stride, B., Weng, S., & Wu, K. (2024). Semantic-Type-Guided Bug Finding.
Cita Chicago Style (17a ed.)Qian, Kelvin, Scott Smith, Brandon Stride, Shiwei Weng, y Ke Wu. Semantic-Type-Guided Bug Finding. 2024.
Cita MLA (9a ed.)Qian, Kelvin, et al. Semantic-Type-Guided Bug Finding. 2024.
Precaución: Estas citas no son 100% exactas.