Mu, C., & Li, G. (2021, December). Integrating Information Flow Analysis in Unifying Theories of Programming. Proceedings (IEEE Pacific Rim International Symposium on Dependable Computing), 67-76. https://doi.org/10.1109/PRDC53464.2021.00018
Chicago-Zitierstil (17. Ausg.)Mu, Chunyan, und Guoqiang Li. "Integrating Information Flow Analysis in Unifying Theories of Programming." Proceedings (IEEE Pacific Rim International Symposium on Dependable Computing) Dec. 2021: 67-76. https://doi.org/10.1109/PRDC53464.2021.00018.
MLA-Zitierstil (9. Ausg.)Mu, Chunyan, und Guoqiang Li. "Integrating Information Flow Analysis in Unifying Theories of Programming." Proceedings (IEEE Pacific Rim International Symposium on Dependable Computing), Dec. 2021, pp. 67-76, https://doi.org/10.1109/PRDC53464.2021.00018.