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-Zitierstil (17. Ausg.)Michelland, Sébastien, Yannick Zakowski, und 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-Zitierstil (9. Ausg.)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.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.