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]
@inproceedings{MuL21-2, title = {Integrating Information Flow Analysis in Unifying Theories of Programming}, author = {Chunyan Mu and Guoqiang Li 0001}, year = {2021}, doi = {10.1109/PRDC53464.2021.00018}, url = {https://doi.org/10.1109/PRDC53464.2021.00018}, researchr = {https://researchr.org/publication/MuL21-2}, cites = {0}, citedby = {0}, pages = {67-76}, booktitle = {26th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2021, Perth, Australia, December 1-4, 2021}, publisher = {IEEE}, isbn = {978-1-6654-2476-9}, }