Jin, Z., & Wang, D. (2025). A Program Logic for Under-approximating Worst-case Resource Usage.
Chicago-Zitierstil (17. Ausg.)Jin, Ziyue, und Di Wang. A Program Logic for Under-approximating Worst-case Resource Usage. 2025.
MLA-Zitierstil (9. Ausg.)Jin, Ziyue, und Di Wang. A Program Logic for Under-approximating Worst-case Resource Usage. 2025.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.