Cita APA (7a ed.)

Lian, Q., & Wang, D. (2025). Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials.

Cita Chicago Style (17a ed.)

Lian, Qihao, y Di Wang. Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials. 2025.

Cita MLA (9a ed.)

Lian, Qihao, y Di Wang. Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials. 2025.