APA (7th ed.) Citation

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 Style (17th ed.) Citation

Mu, Chunyan, and 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 (9th ed.) Citation

Mu, Chunyan, and 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.