APA (7th ed.) Citation

Li, Y., Yin, L., Dong, W., Liu, J., Hu, Y., & Li, S. (2025, April 26). Hetrify: Efficient Verification of Heterogeneous Programs on RISC-V. Proceedings / International Conference on Software Engineering, 2113-2124. https://doi.org/10.1109/ICSE55347.2025.00081

Chicago Style (17th ed.) Citation

Li, Yiwei, Liangze Yin, Wei Dong, Jiaxin Liu, Yanfeng Hu, and Shanshan Li. "Hetrify: Efficient Verification of Heterogeneous Programs on RISC-V." Proceedings / International Conference on Software Engineering 26 Apr. 2025: 2113-2124. https://doi.org/10.1109/ICSE55347.2025.00081.

MLA (9th ed.) Citation

Li, Yiwei, et al. "Hetrify: Efficient Verification of Heterogeneous Programs on RISC-V." Proceedings / International Conference on Software Engineering, 26 Apr. 2025, pp. 2113-2124, https://doi.org/10.1109/ICSE55347.2025.00081.