APA (7th ed.) Citation

Michelland, S., Zakowski, Y., & Gonnord, L. (2024). Abstract Interpreters: A Monadic Approach to Modular Verification. Proceedings of ACM on programming languages, 8(ICFP), 602-629. https://doi.org/10.1145/3674646

Chicago Style (17th ed.) Citation

Michelland, Sébastien, Yannick Zakowski, and Laure Gonnord. "Abstract Interpreters: A Monadic Approach to Modular Verification." Proceedings of ACM on Programming Languages 8, no. ICFP (2024): 602-629. https://doi.org/10.1145/3674646.

MLA (9th ed.) Citation

Michelland, Sébastien, et al. "Abstract Interpreters: A Monadic Approach to Modular Verification." Proceedings of ACM on Programming Languages, vol. 8, no. ICFP, 2024, pp. 602-629, https://doi.org/10.1145/3674646.