APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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

Warning: These citations may not always be 100% accurate.