Citace podle APA (7th ed.)

Nagasamudram, R., & Naumann, D. A. (2021, June 29). Alignment Completeness for Relational Hoare Logics. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 1-13. https://doi.org/10.1109/LICS52264.2021.9470690

Citace podle Chicago (17th ed.)

Nagasamudram, Ramana, a David A. Naumann. "Alignment Completeness for Relational Hoare Logics." Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science 29 Jun. 2021: 1-13. https://doi.org/10.1109/LICS52264.2021.9470690.

Citace podle MLA (9th ed.)

Nagasamudram, Ramana, a David A. Naumann. "Alignment Completeness for Relational Hoare Logics." Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 29 Jun. 2021, pp. 1-13, https://doi.org/10.1109/LICS52264.2021.9470690.

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..