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
Citace podle Chicago (17th ed.)Michelland, Sébastien, Yannick Zakowski, a 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.
Citace podle MLA (9th ed.)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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..