Citace podle APA (7th ed.)

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

Citace podle Chicago (17th ed.)

Li, Yiwei, Liangze Yin, Wei Dong, Jiaxin Liu, Yanfeng Hu, a 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.

Citace podle MLA (9th ed.)

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.

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..