APA (7th ed.) Citation

Jin, Z., & Wang, D. (2025). A Program Logic for Under-approximating Worst-case Resource Usage.

Chicago Style (17th ed.) Citation

Jin, Ziyue, and Di Wang. A Program Logic for Under-approximating Worst-case Resource Usage. 2025.

MLA (9th ed.) Citation

Jin, Ziyue, and Di Wang. A Program Logic for Under-approximating Worst-case Resource Usage. 2025.

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