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-Zitierstil (17. Ausg.)Li, Yiwei, Liangze Yin, Wei Dong, Jiaxin Liu, Yanfeng Hu, und 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-Zitierstil (9. Ausg.)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.