Integrating Information Flow Analysis in Unifying Theories of Programming
Citation
Mu , 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.00018 conference