受强制性开放获取政策约束的文章 - Duc-Than Nguyen了解详情
可在其他位置公开访问的文章：2 篇
Compass: strong and compositional library specifications in relaxed memory separation logic
HH Dang, J Jung, J Choi, DT Nguyen, W Mansky, J Kang, D Dreyer
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
强制性开放获取政策： US National Science Foundation, European Commission
Compositional verification of concurrent C programs with search structure templates
DT Nguyen, L Beringer, W Mansky, S Wang
Proceedings of the 13th ACM SIGPLAN International Conference on Certified …, 2024
强制性开放获取政策： US National Science Foundation, US Department of Defense
出版信息和资助信息由计算机程序自动确定