Timany, A., & Birkedal, L. (2019). Mechanized relational verification of concurrent programs with continuations. Proceedings of ACM on programming languages, 3(ICFP), 1-28. https://doi.org/10.1145/3341709
Citace podle Chicago (17th ed.)Timany, Amin, a Lars Birkedal. "Mechanized Relational Verification of Concurrent Programs with Continuations." Proceedings of ACM on Programming Languages 3, no. ICFP (2019): 1-28. https://doi.org/10.1145/3341709.
Citace podle MLA (9th ed.)Timany, Amin, a Lars Birkedal. "Mechanized Relational Verification of Concurrent Programs with Continuations." Proceedings of ACM on Programming Languages, vol. 3, no. ICFP, 2019, pp. 1-28, https://doi.org/10.1145/3341709.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..