Chunyan Mu, Guoqiang Li 0001. Integrating Information Flow Analysis in Unifying Theories of Programming. In 26th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2021, Perth, Australia, December 1-4, 2021. pages 67-76, IEEE, 2021. [doi]
Abstract is missing.