Mu, ChunyanLi, Guoqiang2023-12-042023-12-042022-01-12Mu, C & Li, G 2022, Integrating Information Flow Analysis in Unifying Theories of Programming. in 2021 IEEE 26th Pacific Rim International Symposium on Dependable Computing. Proceedings (IEEE Pacific Rim International Symposium on Dependable Computing), IEEE Computer Society, pp. 67-76, IEEE 26th Pacific Rim International Symposium on Dependable Computing, Perth, Australia, 1/12/21. https://doi.org/10.1109/PRDC53464.2021.00018conference978166542477697816654247691555-094XORCID: /0000-0002-2988-6939/work/140426202https://hdl.handle.net/2164/22325This research is supported by the China National R&D Key Research Program (2019YFB1705703) and the In-terdisciplinary Program of SJTU, Shanghai, China (No. YG2019ZDA07).10211258engQA75 Electronic computers. Computer scienceQA75Conference item10.1109/PRDC53464.2021.00018