Derakhshan, F., Balzer, S., & Jia, L. (2021, June 29). Session Logical Relations for Noninterference. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 1-14. https://doi.org/10.1109/LICS52264.2021.9470654
Citace podle Chicago (17th ed.)Derakhshan, Farzaneh, Stephanie Balzer, a Limin Jia. "Session Logical Relations for Noninterference." Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science 29 Jun. 2021: 1-14. https://doi.org/10.1109/LICS52264.2021.9470654.
Citace podle MLA (9th ed.)Derakhshan, Farzaneh, et al. "Session Logical Relations for Noninterference." Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 29 Jun. 2021, pp. 1-14, https://doi.org/10.1109/LICS52264.2021.9470654.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..