APA (7th ed.) Citation

Kozak, D., Stancu, C., Vojnar, T., & Wimmer, C. (2025). SkipFlow: Improving the Precision of Points-to Analysis using Primitive Values and Predicate Edges.

Chicago Style (17th ed.) Citation

Kozak, David, Codrut Stancu, Tomáš Vojnar, and Christian Wimmer. SkipFlow: Improving the Precision of Points-to Analysis Using Primitive Values and Predicate Edges. 2025.

MLA (9th ed.) Citation

Kozak, David, et al. SkipFlow: Improving the Precision of Points-to Analysis Using Primitive Values and Predicate Edges. 2025.