Integrating Information Flow Analysis in Unifying Theories of Programming
Files
Date
2022-01-12
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
IEEE Computer Society
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
conference